News for hackers. Stuff that matters.
Re:I struggle to believe that AI R&D is ingenious by mangecoeur on Friday November 06, 2026 @02:21AM (#50389214)
Llms are far from being ingenious or innovative. The main way they can surprise you today is pulling in information that’s new TO YOU - I impressed with the algorithms they pop out sometimes simply because never formally studied compsci. But when it treads on my home turf I find it very basic, and for bigger picture stuff like system architecture its terrible, by its nature it doesn’t have a “vision” of how the whole system fits together
Re:I struggle to believe that AI R&D is ingenious by BoredomIsFun on Friday November 06, 2026 @02:59AM (#50389449)
I'd argue it is the other way around - LLMs are great at pure creativity, creating something that never existed before, but not always at "pulling in information that’s new TO YOU". I use them for entertainment - jokes, short flash fiction etc. and they are excellent at it.
Re:I struggle to believe that AI R&D is ingenious by Madmallard on Friday November 06, 2026 @03:04AM (#50389478)
What?

They literally generate stuff that's averages of other stuff.

It's not interesting in the least

Re:I struggle to believe that AI R&D is ingenious by gherkinnn on Friday November 06, 2026 @03:04AM (#50389473)
I guess you chose a fitting username
Re:I struggle to believe that AI R&D is ingenious by ccppurcell on Friday November 06, 2026 @03:22AM (#50389597)
They're terrible at jokes. I bet any good joke they've given you is simply new TO YOU.
Re:I struggle to believe that AI R&D is ingenious by solyin on Friday November 06, 2026 @03:42AM (#50389739)
They're not that bad! Comedian Don McMillan has done the user testing to see if AI will put him out of a job.

https://youtu.be/wBdkmI03V6g

Re:I struggle to believe that AI R&D is ingenious by pcwelder on Friday November 06, 2026 @04:17AM (#50390037)
I tested this. Out of 200 attempts I got 2 novel jokes that got good amount of upvotes on r/jokes.

Usually commentators say that they have heard so and so version of the joke, or that it's a repeat, but they did not

Both from opus. Sol/astra could not be funny. The versions that worked I had fed top posts from r/jokes as references and gave abstract directions.

However, the core premises were not new even if the construction was. And it's a lot of work to get something useful out.

Re:I struggle to believe that AI R&D is ingenious by tikotus on Friday November 06, 2026 @04:38AM (#50390224)
I can believe this is true. It's great at going out there, connecting ransom dots in very clever ways, sometimes stumbling on something actually funny.

I'm curious, did you test with the 200 jokes if it could guess which were the beat ones according to a human audience?

In images, music, games, it usually can't. So the process of validation is offloaded to the audience. I'm very interested in seeing where this takes different platforms. I bet Spotify can pull off such a validation process. Music is passive, tolerating a bad song doesn't require much from you. And they have a massive audience. They can try out AI generated mess with a very low success percentage without saturating their playlists and alienating their users. But can Steam tolerate it? Trying out a game is a much bigger effort than listening to a song picked for you. Customers are already reacting to the number of demos in Steam Next Fest. The saturation point is much lower.

And what about jokes? What happens to r/jokes if even 10 standup comedians are validating 200 jokes per day?

And we see it in software too. QA is already being offloaded to the customer.

I want to see where this goes, even if I don't like it.

But if you find a media where AI can also validate the output instead of having to offload it, that's going to be very valuable!

Re:I struggle to believe that AI R&D is ingenious by pcwelder on Friday November 06, 2026 @06:38AM (#50391133)
It matches your experience. Its judgement on which joke will get laughs is only slightly better than random with lots of false positives.
Re:I struggle to believe that AI R&D is ingenious by antonvs on Friday November 06, 2026 @07:37AM (#50391627)
I wonder how much different that is from humans, even professional comedians. You don't usually get to see all the jokes that comedians try that don't work, unless you're an avid attendee at comedy clubs.
Re:I struggle to believe that AI R&D is ingenious by tikotus on Friday November 06, 2026 @07:46AM (#50391697)
I'd guess the difference is around a factor of 100 or so.
Re:I struggle to believe that AI R&D is ingenious by antonvs on Friday November 06, 2026 @11:10AM (#50394226)
For comedians, perhaps. But there are plenty of humans who aren’t very good at comedy.

In these LLM comparisons, people tend to compare them to the best humans, not average or below average. It’s a kind of motivated reasoning, with the goal of deprecating the abilities of LLMs.

Re:I struggle to believe that AI R&D is ingenious by tikotus on Friday November 06, 2026 @12:27PM (#50395401)
Well, you did ask for a comparison to professionals.

But I think humor is pretty easy to rate for a human. Did it make you laugh? Yes? Then it might be a good one. This simple human filter radically improves your efficiency as a joke validator, leaving any LLM far behind.

For pictures I'm not sure if humans are much better. For music, yes, after a few listens (recognizing a hit usually takes time). For games, definitely yes.

Re:I struggle to believe that AI R&D is ingenious by saghm on Saturday November 07, 2026 @04:10PM (#50408095)
They can still unintentionally be funny sometimes though, especially certain quirky models. Mimo 2.6 Flash is my favorite in this regard because it will become absolutely unhinged in ecstasy when proposing an idea before even trying to verify if it's correct or see if there's a better one. Probably my favorite sequence from an LLM ever was watching Mimo try to diagnose a bug and coming up with a series of theories that it introduced as "NEW IDEA!!!", "ANOTHER IDEA!!!", "BETTER IDEA!!!", "EVEN BETTER IDEA!!!", "BEST IDEA!!!", and then "ANOTHER BEST IDEA!!!". It's been months and when someone is listing ideas I'll think of the phrase "another best idea" and need to stop myself from laughing.
Re:I struggle to believe that AI R&D is ingenious by chrisjj on Friday November 06, 2026 @06:35AM (#50391101)
[delayed]
Re:I struggle to believe that AI R&D is ingenious by benterix on Friday November 06, 2026 @06:37AM (#50391117)
> I'd argue it is the other way around - LLMs are great at pure creativity

Interesting because pure creativity is the most prominent thing they can't do by design.

Re:I struggle to believe that AI R&D is ingenious by estearum on Friday November 06, 2026 @07:58AM (#50391796)
There's no such thing as "pure creativity," which I presume you mean "creative output not directly derived by prior inputs." The very concept is utter nonsense.
Re:I struggle to believe that AI R&D is ingenious by busssard on Friday November 06, 2026 @01:09PM (#50396011)
turn up the temperature, the outputs will be very "creative" ;)
Re:I struggle to believe that AI R&D is ingenious by weavie on Friday November 06, 2026 @08:24AM (#50392012)
They can be quite good at taking knowledge from one domain and applying it to another. This can give new perspectives on things, but it isn't explicitly new information.
Re:I struggle to believe that AI R&D is ingenious by roncesvalles on Friday November 06, 2026 @03:14AM (#50389550)
Exactly. If you're an expert on the topic, framework, or library, even the best LLMs are still underwhelming.

An LLM is like a low IQ person with vast knowledge.

Re:I struggle to believe that AI R&D is ingenious by robrenaud on Friday November 06, 2026 @03:19AM (#50389576)
Does this gel with top mathematicans basically begging OpenAI to stop solving their open problems?
Re:I struggle to believe that AI R&D is ingenious by lionkor on Friday November 06, 2026 @03:24AM (#50389610)
They're solving them in a way that isn't particularly interesting because it's near impossible to read and understand, and follow, what the LLM did. It's this way not because it's so smart, but because it's so stupid and still reached the goal by pure force and effort.
Re:I struggle to believe that AI R&D is ingenious by JPLeRouzic on Friday November 06, 2026 @03:42AM (#50389738)
I am sorry but your argument looks to contradict itself: They solve hard mathematical problems because they are stupid and use brute force? Then why a human skilled in mathematics guided them for many turns in their conversation?

If they were really stupid, say like a Prolog program or a solver, only stating the goal was enough,

Re:I struggle to believe that AI R&D is ingenious by suddenlybananas on Friday November 06, 2026 @04:15AM (#50390013)
Can't you kind of think of them as a genetic algorithm that has a very good hypothesis generator? Humans could, in principle, help guide that (already very impressive) hypothesis generator to make better guesses to find the proof more easily.
Re:I struggle to believe that AI R&D is ingenious by YeGoblynQueenne on Friday November 06, 2026 @04:28PM (#50398770)
[delayed]
Re:I struggle to believe that AI R&D is ingenious by solyin on Saturday November 07, 2026 @05:21PM (#50408610)
Conversations with an ChatGPT with Terence Tao at the helm are a thing of beauty. An advanced practitioner prompting things beyond my understanding. Jarred Sumner's paper on the Riemann Hypothesis, however, was not that. No slight against him, but Jarred was a non-mathematician, and his prompting to improve the minimum fraction of zeta zeros by Claude amounted to "keep going" and "believe in yourself". Shit, anyone coulda done that in his position.

https://www.anthropic.com/research/riemann-zeta

My point is that it does matter who's driving the AI but it also matters the route. Just like F1 champion Max Verstappen is a ridiculously better driver than me at driving an F1 car around a track, if we're just driving a friend to the airport, it doesn't really matter if it's Max or me driving, so long as we don't crash.

Re:I struggle to believe that AI R&D is ingenious by QuesnayJr on Friday November 06, 2026 @05:01AM (#50390394)
I don't know how to communicate this, but what you are saying is almost entirely wrong.

People can follow what they did. The documents OpenAi produced in their big drop are hard to read because they are poorly written in weird ways, not because they are beyond human intelligence. They didn't brute force in the normal sense. AI doesn't get tired, so it can try 1000 promising ideas, but it's like 1000 Ph.D.-level mathematicians trying different ideas, not 1000 calculators trying all combinations.

The biggest results -- quasi-Riemann, no Siegel zeros, and Unique Games Conjecture -- have already been digested by experts. No Siegel zeros in particular already has like five different write-ups, and Tao has written a exposition on his blog.

Re:I struggle to believe that AI R&D is ingenious by rsfern on Friday November 06, 2026 @08:07AM (#50391881)
So did we get any new mathematics out of this, or just solutions to problems without new techniques or insights? I haven’t been able to keep up with this or read the writeups you mention, genuinely wondering since this seems to be a central concern of the math community
Re:I struggle to believe that AI R&D is ingenious by QuesnayJr on Friday November 06, 2026 @12:38PM (#50395572)
It's only been a month and people aren't that fast, but I think yes. Analytic number theory and complexity theory were stuck on the lack of progress on certain questions, that is now unstuck.
Re:I struggle to believe that AI R&D is ingenious by seba_dos1 on Friday November 06, 2026 @03:26AM (#50389617)
A relentless low IQ person with broad knowledge and no need to sleep, I guess?
Re:I struggle to believe that AI R&D is ingenious by Ar-Curunir on Friday November 06, 2026 @03:40AM (#50389723)
[delayed]
Re:I struggle to believe that AI R&D is ingenious by LtWorf on Friday November 06, 2026 @04:07AM (#50389939)
You mean techniques like using the prompt of mathematicians in the training set and brute force a solution before they publish?
Re:I struggle to believe that AI R&D is ingenious by Ar-Curunir on Friday November 06, 2026 @03:18PM (#50397848)
[delayed]
Re:I struggle to believe that AI R&D is ingenious by jasomill on Friday November 06, 2026 @11:26PM (#50401604)
I'm more interested in the techniques used to generate these proofs, and how they can be improved to be as reliable at solving a broader class of problem than already formalized mathematical conjectures.
Re:I struggle to believe that AI R&D is ingenious by ccppurcell on Friday November 06, 2026 @03:27AM (#50389627)
I think it does gel. You're right that the comment you're replying to is weakened by that fact.

It gels because they solved about 700 problems out of 4000 attempts. And they threw a ton of resources at each. So "per problem" it's less than 1 in 5, "per token" it's probably not a great record. I mean it's astonishing that it's possible at all of course. But on average, even an expert with a top model will probably have an underwhelming response to the vast majority of prompts.

Re:I struggle to believe that AI R&D is ingenious by internet_points on Friday November 06, 2026 @03:38AM (#50389701)
and I'm guessing it was with "tool calling" ie. they can write a bunch of Lean proofs and hit compile and basically brute-force a whole bunch of hypotheses quickly?

Ie. the LLM itself isn't as "smart" as the combination of LLM, Lean, looping, search and vast gpu/cpu-time.

Re:I struggle to believe that AI R&D is ingenious by ogogmad on Friday November 06, 2026 @04:51AM (#50390318)
In my experience they write an informal proof first, check it without Lean, and only then turn it into Lean code. What they're truly bad at is explaining their proofs. Until they improve at that, we'll have to keep asking Lean whether they solved something correctly.

While they're not great at explaining their own proofs, some models are good at explaining older, human-written proofs.

Re:I struggle to believe that AI R&D is ingenious by ccppurcell on Saturday November 07, 2026 @08:13AM (#50404295)
I definitely don't know but I got the impression it's the opposite. Based on the observations about Navier Stokes and the natural language proof not matching up with the lean proof and other things. They generate lean and convert it into natural language at the end. But really I could be wrong just giving anyone interested a lead to check out.
Re:I struggle to believe that AI R&D is ingenious by rowanG077 on Friday November 06, 2026 @10:02PM (#50401225)
You cannot brute force lean proofs of any complexity. The space is infinitely large.
Re:I struggle to believe that AI R&D is ingenious by abc42 on Friday November 06, 2026 @03:54AM (#50389830)
>If you're an expert on the topic, framework, or library, even the best LLMs are still underwhelming.

How many people on this planet are experts on every topic?

>An LLM is like a low IQ person with vast knowledge.

Are you aware that frontier models have scored in the 135-195 IQ range when they have been tested? How smart are you?

Re:I struggle to believe that AI R&D is ingenious by Personability on Friday November 06, 2026 @10:59AM (#50394021)
Said tests are often quite inflated, quite frankly. If you can give me a source that disproves this claim, I'll readily eat my words, but I readily believe that those tests are just as inflated as all other claims about AI.
Re:I struggle to believe that AI R&D is ingenious by AngryData on Friday November 06, 2026 @06:54PM (#50400154)
Humans test higher on IQ tests if they had previously taken IQ tests of similar types too tho. And LLMs are trained on IQ tests. IQ tests only really hold their value when the test is fairly novel to everyone taking it.
Re:I struggle to believe that AI R&D is ingenious by abc42 on Saturday November 07, 2026 @01:51AM (#50402266)
Okay. So what does it mean when somebody says that LLMs are "low IQ"?
Re:I struggle to believe that AI R&D is ingenious by AngryData on Saturday November 07, 2026 @12:38PM (#50406380)
That if you gave them a test far outside their trained materials that it will do terrible compared to a human.
Re:I struggle to believe that AI R&D is ingenious by abc42 on Saturday November 07, 2026 @12:49PM (#50406462)
How do humans usually score if you test them far outside their trained material?
Re:I struggle to believe that AI R&D is ingenious by solyin on Saturday November 07, 2026 @05:10PM (#50408530)
Poorly, which is why IQ tests are sometimes regarded as racist. Say the test asks a question about a regatta, and your culture has never introduced you to that word, so you fail that question, dropping your score by 20 points. Is that then a fair assessment of your IQ? Another place we see this is math ability. Street kids with no formal training in math may not be able to do traditional word problems, because they've never ridden, eg a train, but when those word problems are phrased in terms they are forced to use to survive, eg the prices of the trinkets they're forced to sell, then they excel at multiplying numbers in their head.
Re:I struggle to believe that AI R&D is ingenious by johnnudd on Friday November 06, 2026 @04:14AM (#50390003)
I have a PhD and Opus 5.5 came up with a novel solution to solve a problem in my area of research that I, and other experts in the field, had been unable to. This was from very general prompting it to find improvements over published methods.
Re:I struggle to believe that AI R&D is ingenious by suddenlybananas on Friday November 06, 2026 @05:32AM (#50390619)
What was it?
Re:I struggle to believe that AI R&D is ingenious by johnnudd on Friday November 06, 2026 @09:30AM (#50392725)
It came up with a way to efficiently evaluate the reliability of certain types of complex system using generating functions (https://en.wikipedia.org/wiki/Generating_function) to split the computation, which was far to large to solve with existing methods, into many embarrassingly parallel smaller problems and then reduce it back to a final result. The solution involved several distinct new ideas for it to work, really mind-blowing it was able to come up with it. The other cool thing was that, in the process and unprompted, it implemented code to validate and benchmark against existing approaches and known results just from the pdfs of the published papers (none of which gave reference implementations). In my research it would often take weeks just to replicate a single result from a paper.
Re:I struggle to believe that AI R&D is ingenious by suddenlybananas on Friday November 06, 2026 @10:10AM (#50393268)
Sounds interesting but very vague!
Re:I struggle to believe that AI R&D is ingenious by johnnudd on Friday November 06, 2026 @04:06PM (#50398550)
Perhaps but I have no incentive to write all the details here.
Re:I struggle to believe that AI R&D is ingenious by aquentinn on Friday November 06, 2026 @11:46PM (#50401701)
I mean breaking a big problem into many small ones is hardly novel. It's how every business works.
Re:I struggle to believe that AI R&D is ingenious by johnnudd on Saturday November 07, 2026 @09:08AM (#50404669)
By that logic modern cryptography is hardly novel because encryption is just mixing things up which is how every salad works.
Re:I struggle to believe that AI R&D is ingenious by PaulRobinson on Friday November 06, 2026 @03:23AM (#50389603)
The very best LLM can answer is the answer you can expect from an online forum like Reddit or a book/paper published more than a year ago.

If you know how they work and how they are trained this makes perfect sense.

Going out and searching the web gets around model cutoffs, so fixes the latency of knowledge issue a bit, but they’re still finding statistical modes of what they’ve seen before.

“Stochastic parrot” is seen as a crude and dismissive jibe at LLMs, but it’s actually a concise observation of the reality.

Re:I struggle to believe that AI R&D is ingenious by OJFord on Friday November 06, 2026 @04:00AM (#50389877)
That's not really true any more, since given tool use and iterative 'chain of thought' reasoning, it's more like an answer refined by conversation with the asker or the second best answerer, from the best answerer, is the best that you can expect.

E.g. consider the best answer describes how to achieve something with some CLI, but the CLI's changed and the command is now broken. It can discover that, combine with the 'best answer' about what changed in the CLI, and fix it to work for the original problem even if that's completely novel and there were no extant answers about solving the problem with the new CLI form, or that it had broken that use case.

It doesn't change fundamentally how they work of course, but 'thinking', creating that feedback loop, made them significantly more useful IMO.

Re:I struggle to believe that AI R&D is ingenious by PaulRobinson on Friday November 06, 2026 @04:11AM (#50389974)
The “conversation” is just one between some redditors or book publishers.

It’s going to narrow in on a statistically better answer but it’s not going to create novel insight beyond the arguments made from compressed snapshots of existing knowledge.

There is no “thinking”. Just more attention, which is apparently, all you need.

Re:I struggle to believe that AI R&D is ingenious by ogogmad on Friday November 06, 2026 @04:35AM (#50390201)
That's not what "attention" means.

> it’s not going to create novel insight beyond the arguments made from compressed snapshots of existing knowledge

So all of the maths breakthroughs were not novel?

Re:I struggle to believe that AI R&D is ingenious by PaulRobinson on Friday November 06, 2026 @07:26AM (#50391545)
Firstly, many of them are still being checked, so hold your horses.

What I’ve found LLMs to be OK at when it comes to novel insight is being given a goal to work towards (“prove or disprove this”), with access to a large body of sources and it can then chase down 1000s of options no human would bother with.

This is why security and maths proofs seem to be an area where it can accelerate things. However I know from my own work in these areas it can still hallucinate and so the output needs careful checking.

Is that novel ideation? Or is it self-organising grid search? It’s more efficient than getting 1000 mathematicians to do the work, but it’s not doing something “new”, it’s building on existing work.

And yes, I know what “attention” means, I was making a pun. And it still stands up: they’re not in some deep thought about this and reflecting on new ideas, they’re just hammering away at everything in the literature.

And it still might be bullshit.

Re:I struggle to believe that AI R&D is ingenious by yorwba on Friday November 06, 2026 @06:00AM (#50390819)
All novel insights expressible as text can be assembled from snippets of existing text. The challenge is "only" that you need to find the right snippets. Hence being a stochastic parrot does not represent an upper bound on capabilities, but a suggestion that if you want your parrot to give you a specific answer, you should arrange for a context where it's statistically likely to be correct.
Re:I struggle to believe that AI R&D is ingenious by discreteevent on Friday November 06, 2026 @06:45AM (#50391192)
[delayed]
Re:I struggle to believe that AI R&D is ingenious by yorwba on Friday November 06, 2026 @08:19AM (#50391973)
No. In a large enough state space, you can of course easily find a state that has never existed before. For example, if you pick a 1024-bit integer uniformly at random, it will certainly be different from any previous 1024-bit integer. However, it's much more difficult to find a new integer that cannot be assembled out of bits taken from previous integers. Composition from a handful of base atoms can cover very large state spaces, and unbounded composition can cover infinite state spaces. Which is why only being able to combine things that already exist is not much of a limitation.

To demonstrate:

"Are you saying that a" https://news.ycombinator.com/item?id=49642931

"complex stateful system" https://news.ycombinator.com/item?id=14881439

"cannot generate a" https://news.ycombinator.com/item?id=45956162

"state that is not already" https://news.ycombinator.com/item?id=43013637

"recorded in text" https://news.ycombinator.com/item?id=44731577

"somewhere?" https://news.ycombinator.com/item?id=50391679

A novel state, obtainable by combining six existing ones.

Re:I struggle to believe that AI R&D is ingenious by serf on Friday November 06, 2026 @06:56AM (#50391299)
>It’s going to narrow in on a statistically better answer but it’s not going to create novel insight beyond the arguments made from compressed snapshots of existing knowledge.

ignoring the fundamentally dishonest representation of LLMs in this subthread..

if humanity was given a tool that could restructure already existing and known knowledge and facts into novel results with a statistically better answer automatically it wouldn't be as a minor a win as you make it sound; it would be tremendous.

Re:I struggle to believe that AI R&D is ingenious by vrighter on Friday November 06, 2026 @12:32PM (#50395476)
yeah chain of thought reasoning isnt really a think besides running the model for longer and hide most of the output (but still charging you for it). it literally does not work any differently than "non-reasoning" models (except for marketing)
Re:I struggle to believe that AI R&D is ingenious by Nursie on Friday November 06, 2026 @04:07AM (#50389940)
> The very best LLM can answer is the answer you can expect from an online forum like Reddit or a book/paper published more than a year ago.

Hard disagree.

Claude is able to come up with solutions in very niche areas where there is little discussion on the web, because it takes steps to digest the source of (for instance) frameworks and libraries, and can then use/advise on lots of esoteric options, edge-cases and all sorts of stuff that doesn't get discussed on the open web.

Re:I struggle to believe that AI R&D is ingenious by PaulRobinson on Friday November 06, 2026 @04:13AM (#50389993)
I work in a niche where it is utterly hopeless at this, and everyone in the niche agrees: it produces things that look convincing to non-experts but that is fundamentally derivative dross.

It’s great at bread and butter stuff, but not at specialised ideation.

If you know differently, please share examples as maybe we can learn something here.

Re:I struggle to believe that AI R&D is ingenious by Nursie on Friday November 06, 2026 @04:23AM (#50390087)
> It’s great at bread and butter stuff, but not at specialised ideation.

This is fundamentally different from your earlier, stronger claim that - "The very best LLM can answer is the answer you can expect from an online forum like Reddit or a book/paper published more than a year ago."

I use a less popular java framework quite a lot, Micronaut (I want to move away from it, but that's a different discussion).

When trying to solve problems with its behaviour, I can watch as Claude digests the framework source to come up with suggestions, identify bugs that are causing behaviour regressions, and generally unlock stuff that I've previously found very frustrating. Frustrating because the documentation covers a tiny amount of what's in there, and frustrating because there's little online discourse about any of it to refer to.

Is this earth shattering in itself? Probably not. But it's certainly better than you can find from "an online forum like Reddit or a book/paper published more than a year ago".

Re:I struggle to believe that AI R&D is ingenious by senordevnyc on Friday November 06, 2026 @07:42AM (#50391662)
You're the one making the claim, and also claiming that you have specific examples to back up your point. So maybe you should share them, and we can see if your assertions hold up.
Re:I struggle to believe that AI R&D is ingenious by wiseowise on Friday November 06, 2026 @04:27AM (#50390133)
You’re wrong on literally every point.
Re:I struggle to believe that AI R&D is ingenious by QuesnayJr on Friday November 06, 2026 @05:04AM (#50390407)
Nobody solves the Quasi-Riemann Hypothesis by looking up online forums.
Re:I struggle to believe that AI R&D is ingenious by program_whiz on Friday November 06, 2026 @05:43AM (#50390701)
The discussion here is talking about helping individual research with proposals a human will read. That is different from spending 10s of millions to do a brute-force search of lots of different proofs which can be verified by LEAN automatically. There is no "automatic verification" of a system design proposal, and no way to figure out from 10s of millions of proposals which is best automatically, and also assuming people in this discussion don't have 10s of millions of dollars to throw at every design problem.
Re:I struggle to believe that AI R&D is ingenious by skydhash on Friday November 06, 2026 @07:32AM (#50391598)
> That is different from spending 10s of millions to do a brute-force search of lots of different proofs which can be verified by LEAN automatically

It’s kinda like the project where someone generated a lot of midi files for all possible pop riffs to copyright them. If you have a start and endpoint, rules for navigation, and unlimited computes, you can brute force anything. The nice stuff is when you made exploration efficient.

Re:I struggle to believe that AI R&D is ingenious by QuesnayJr on Friday November 06, 2026 @08:08AM (#50391897)
Other than for maybe Navier-Stokes, they just didn't brute force it in the way you guys are thinking. Most unsolved math problems are not susceptible to brute force, which is why the problems remained unsolved. AI is so quick it can of course try more ideas than a person, but each idea is executed at genius IQ level. Even if you knew the broad outlines of the proof of quasi-Riemann, there are probably only 20 people in the world who could have executed it.
Re:I struggle to believe that AI R&D is ingenious by jasomill on Friday November 06, 2026 @11:45PM (#50401696)
This is trivially true for any theorem with a proof that can be automatically verified in finite time, but does not preclude the universe lacking a suitable combination of monkeys, typewriters, and time to do so.
Re:I struggle to believe that AI R&D is ingenious by famouswaffles on Friday November 06, 2026 @12:29PM (#50395439)
>That is different from spending 10s of millions to do a brute-force search of lots of different proofs which can be verified by LEAN automatically.

That is not remotely how the vast majority of the proofs have worked. You don't know what you're talking about, but that seems par the course for these discussions.

Re:I struggle to believe that AI R&D is ingenious by scarmig on Friday November 06, 2026 @04:46PM (#50398947)
I guarantee that you could not find a proof using brute force, even with literally trillions of dollars of compute. You're betraying a lack of understanding of the complexities involved, unless you're using a definition of "brute force" which is essentially equivalent to "intelligent search."
Re:I struggle to believe that AI R&D is ingenious by jasomill on Friday November 06, 2026 @11:39PM (#50401674)
Brute force is certainly the wrong way to put it, but that doesn't mean it's easy to distinguish superhuman effort from superhuman intelligence, or, in the words of Thomas Edison, perspiration from inspiration.

Especially as the pure gruntwork involved in acquiring the knowledge required to merely understand the details of the mathematics involved represent at least a significant fraction of a human lifetime.

And unless this human process of knowledge acquisition continues, eventually no one will be left to understand and attach any significance to the results machines produce.

Re:I struggle to believe that AI R&D is ingenious by PaulRobinson on Friday November 06, 2026 @07:28AM (#50391564)
They do by reading papers and connecting dots.

Which is what they claim to have done.

Re:I struggle to believe that AI R&D is ingenious by cucumber3732842 on Friday November 06, 2026 @06:08AM (#50390895)
>The very best LLM can answer is the answer you can expect from an online forum like Reddit or a book/paper published more than a year ago.

The LLMs are vastly superior for any subject matter with even the slightest hint of danger because while both LLMs and Reddit will whine at you and talk down to you the LLM will actually knock it off when told.

Re:I struggle to believe that AI R&D is ingenious by manapause on Friday November 06, 2026 @03:24AM (#50389611)
Strong agree. My 30 years of experience building computers and breaking them has made me better because I don’t trust my knowledge or myself as a first principle. If I didn’t have that and I could easily see myself in an alternate reality, coming in late to the game to leverage ai to build a car out of seatbelts; harnessing all the power of 1000 suns seeing that idea to fruition.
Re:I struggle to believe that AI R&D is ingenious by solyin on Friday November 06, 2026 @03:40AM (#50389721)
> build a car out of seatbelts

Such a good turn of phrase.

Re:I struggle to believe that AI R&D is ingenious by abc42 on Friday November 06, 2026 @03:53AM (#50389822)
Yeah, they can only impress the bottom 99% of people. Who needs junk like that.
Re:I struggle to believe that AI R&D is ingenious by z3t4 on Friday November 06, 2026 @04:40AM (#50390237)
[delayed]
Re:I struggle to believe that AI R&D is ingenious by antonvs on Friday November 06, 2026 @07:34AM (#50391611)
Known as the Gell-Mann Amnesia Effect.
Re:I struggle to believe that AI R&D is ingenious by layer8 on Friday November 06, 2026 @07:36AM (#50391618)
The short name for that is Gell-Mann amnesia.
Re:I struggle to believe that AI R&D is ingenious by CyberDildonics on Friday November 06, 2026 @10:21AM (#50393416)
The long name for this is Man Gelatin Ambrosia.
Re:I struggle to believe that AI R&D is ingenious by andai on Friday November 06, 2026 @05:55AM (#50390779)
Gell-Mann Amnesia Effect:

> Briefly stated, the Gell-Mann Amnesia effect works as follows. You open the newspaper to an article on some subject you know well. In Murray's case, physics. In mine, show business. You read the article and see the journalist has absolutely no understanding of either the facts or the issues. Often, the article is so wrong it actually presents the story backward-reversing cause and effect. I call these the "wet streets cause rain" stories. Paper's full of them. In any case, you read with exasperation or amusement the multiple errors in a story-and then turn the page to national or international affairs, and read with renewed interest as if the rest of the newspaper was somehow more accurate about far-off Palestine than it was about the story you just read. You turn the page, and forget what you know. —Michael Crichton

Edit: sibling comment explains it much more plainly.

https://news.ycombinator.com/item?id=50390237

Re:I struggle to believe that AI R&D is ingenious by mcv on Friday November 06, 2026 @07:15PM (#50400317)
I have noticed that several times with a newspaper I had at the time. It seemed to be a generally good and reliable newspaper, and one of the biggest in the country, but every time an article was about something that I actually knew about, it was wrong, which made me doubt the validity of everything else.

I now have a newspaper that doesn't give me that feeling.

Re:I struggle to believe that AI R&D is ingenious by hologramofham on Friday November 06, 2026 @06:37AM (#50391122)
> The main way they can surprise you today is pulling in information that’s new TO YOU

Many comments here are speaking in absolutes and being myopic about what's "novel". The truth is yes, LLMs output is essentially derivative, but it's also true that a lot of what we consider novel is also derivative. The two aren't mutually exclusive at all.

Had a novel idea? You didn't get it from thin air, everyone is standing on the shoulders of everyone who came before. LLMs most of all, but that doesn't mean it can't bring disparate bits of word-encoded knowledge together and burp out something we'd consider "novel" if a person had made the same connections.

That was actually the basis of some of the mathematics proofs. It made connections from existing material. Nothing a human couldn't do looking at the same material, but we're talking speed and scale here - same as all computational processes.

A calculator does math faster but we don't call it sentient or feel inferior or dismiss the results. The only difference is LLMs are intentionally nondeterministic, as that behaviour can be usefully harnessed, pun intended.

So there's no need to argue about what's novel or not. LLMs can make novel connections via raw speed and breadth of disparate data. The human brain is more complex and "imaginative" for whatever your definition of that is - I mean fundamentally one either believes we are just physical neurons, or that there's a spiritual aspect on top, the end result is the same.

A six sided dice can also be novel if it happens to unexpectedly roll your phone number. It's a novel occurrence, same as an idea coming to mind that, TO YOU, seems novel... but we can't ask the other 8 billion people on the planet so who are we to judge what's a novel idea anyway?

Re:I struggle to believe that AI R&D is ingenious by sandworm101 on Friday November 06, 2026 @06:46AM (#50391197)
>> A calculator does math faster but we don't call it sentient or feel inferior or dismiss the results.

Actually, we do. We do dismiss calculator results. We are all generally aware of a calculator's abilities. We know it has limits. So when a calculator outputs 9999e999999 we know to distrust that result. It was something out of the calculators concept of understanding. So too a variable like Pi. "3.14159265359" is not Pi and every user knows it is an approximation not be used for anything too important or precise. The same should apply to LLMs... but their limitations remain nebulous and ever-changing.

Re:I struggle to believe that AI R&D is ingenious by altcognito on Friday November 06, 2026 @07:27AM (#50391554)
Most calculators use 14-15 digits of pi even if they only show 10. It would be hard to come up with a case where for single calculations this was not “sufficient”.
Re:I struggle to believe that AI R&D is ingenious by aamargulies on Friday November 06, 2026 @07:31AM (#50391588)
Not hard: Number theory.
Re:I struggle to believe that AI R&D is ingenious by sandworm101 on Friday November 06, 2026 @07:38AM (#50391632)
Radians? Do any math where Pi is a base number and the errors cumulate quickly.
Re:I struggle to believe that AI R&D is ingenious by altcognito on Saturday November 07, 2026 @09:35AM (#50404899)
Single calculation.
Re:I struggle to believe that AI R&D is ingenious by jdw64 on Friday November 06, 2026 @06:58AM (#50391321)
I agree with your opinion. The definition of novelty largely depends on subjectivity. Results produced by combinations of LLMs can also be novel. Combining multiple insights, imitating them, and then organizing them into one can also be considered sufficiently novel. LLMs have a kind of bias due to RLHF, and that may make them uninteresting to humans, but when a "human" uses them, they can enable the human to do more, and that greater amount of work can create new novelty.
Re:I struggle to believe that AI R&D is ingenious by pixl97 on Saturday November 07, 2026 @05:53PM (#50408806)
And LLM can do this to, this is the entire concept of RSI and self learning. Now, it's not continuous learning yet, but batch learning is how this works currently.
Re:I struggle to believe that AI R&D is ingenious by datsci_est_2015 on Friday November 06, 2026 @07:34AM (#50391612)
This is a common rebuttal. But it falls flat, in my opinion, because LLMs appear to be a compression of language-based knowledge, and that compression is lossy. The result is that "knowledge" retrieved from the language-based storage model is biased towards the "average" idea.

As a concrete example, when you ask Claude Sonnet 5.5 to generate a small-to-medium-sized one-shot Python project, it will always fall into the same code patterns. Same structures of functions. Same file layout. Same package layout. They're not even good patterns, because if you throw a few common linters at it (e.g. flake8, isort, mypy) there are a ton of linting errors to clean up.

The only way that it escapes this mediocrity is through context. If you give it enough guardrails or sample data (e.g. Python code to emulate), it will start to go off in a "novel" direction that is defined by that context.

Now, what's the most likely way that "novelty" will be generated in an automated system like this? Randomly pulling in context and going for a random walk through the compressed language-based knowledge storage. It remains to be seen whether that's an effective way of producing more than just parlor tricks for investors. Human+LLM is overwhelmingly more novel and effective than only LLM.

Re:I struggle to believe that AI R&D is ingenious by estearum on Friday November 06, 2026 @07:56AM (#50391777)
This doesn't even address the direct point. The question is how any of this is fundamentally different (difference in type and not just of "scale") from how human cognition works.
Re:I struggle to believe that AI R&D is ingenious by datsci_est_2015 on Friday November 06, 2026 @08:34AM (#50392109)
Well, I've addressed it implicitly. Every human collects different context by living one of 8.3 billion+ unique lives. We don't have 8.3 billion+ different LLMs. The only way to simulate that is to perform a random walk through the compressed language-based knowledge storage by injecting random context.
Re:I struggle to believe that AI R&D is ingenious by pixl97 on Saturday November 07, 2026 @05:34PM (#50408686)
So all you're saying is we need log term context in LLMs and then we could have 'trillion' of unique LLM paths.

If that's the only limitation that you're putting forward than LLMs have already won over humans. If you're not hoping for some quantum level limitations then it's already over for us.

Re:I struggle to believe that AI R&D is ingenious by Diti on Saturday November 07, 2026 @02:18AM (#50402388)
The answer is here: [LLMs can’t jump].

[LLMs can’t jump]: https://openreview.net/forum?id=klU4737opt

Re:I struggle to believe that AI R&D is ingenious by unrented7977 on Friday November 06, 2026 @03:00PM (#50397584)
All knowledge storage and retrieval is lossy. Oral histories are lossy. Lectures are lossy. On on one mentorships are lossy, writing or reading a textbook is lossy.

What's your point?

Re:I struggle to believe that AI R&D is ingenious by hocusPokeUs on Saturday November 07, 2026 @10:49AM (#50405536)
Agree with this as language use is inherently an attempt to compress observations into a shared semantics

The syntax of math is overloaded so you need less syntax to write out something that would be verbose in English ...no one wants to make sense of arithmetic expressed in German syntax. May as well write all software in brainfuck.

Written literacy on a core language like we focus on today is not the historical norm. Creoles and local dialects have vanished in the US as we hyper-normalize everyone into Children of the Corn like carbon copy zombies of character traits

Re:I struggle to believe that AI R&D is ingenious by YeGoblynQueenne on Friday November 06, 2026 @04:05PM (#50398523)
If you want to argue, as I think you do, that there are no new ideas other than new combinations of old ideas, then you have to explain where the old ideas came from. It can't just be combinations all the way down. At some point, some initial set of ideas must have been created where none existed before otherwise we would have nothing to combine. After all the combinatoric closue of ∅ is ∅.

Ultimately any claim that there exist only combinations of old ideas must tackle this chicken-and-egg problem convincingly. For example- explain art. There was no art until it appeared fully formed and out of nowhere in early anatomically modern humans' dwellings (Neanderthals also had art but it was simpler and it is subject to the same chicken-and-eggness). So where did art come from? What pre-existing idea was combined to bring it into existence from non-existence?

Btw, since I've had this conversation before- if the answer is that we looked around us in the world and saw things; yes, but we didn't see art. Where did art come from? Where did the idea come from of abstracting shapes and colours so that they resemble the shapes and colours of existing things, without actually being those things, or being composed of pieces of those things? How about numbers? How about writing? How about all our technology and science? Where did those things come from? What did we combine to create them?

Obviously I think that the argument that there are only new combinations is wrong: we are a creative species. We can create new things. Somehow. It would be very interesting to understand how. We have not yet created machines that can match us in that and we can't understand the "how" by studying the machines we have now.

Re:I struggle to believe that AI R&D is ingenious by saulpw on Friday November 06, 2026 @04:36PM (#50398845)
Truly new ideas are, say, 0.01% of all 'novel' ideas, with the rest being rehashing or recombinations. And even then, the truly new kernel of the truly new idea is some small fraction of the whole thing. Like Einstein's theories of relativity, they were truly fresh, but mostly had to recombine existing work in 'novel' ways.

So it's not there are zero new ideas, but so few compared to the whole of the intellectual domain, that we can say 'there are no new ideas under the sun' and be basically correct to within a small rounding error. And AI is sufficiently ingenious to serve the needs of the vast majority of humanity, even though we'll still need to find/cultivate/inspire some new genius humans if we want to have more truly new ideas in the future.

Re:I struggle to believe that AI R&D is ingenious by pixl97 on Saturday November 07, 2026 @05:52PM (#50408798)
I don't think humans really comprehend how many ideas the universe already presents us with. After that it is literally impossible for all those combinations to be tried in a universe with finite time and entropy. The idea of novel may simply be humanity mistaking a new idea for emergence at scale.
Re:I struggle to believe that AI R&D is ingenious by jungturk on Friday November 06, 2026 @06:32PM (#50399950)
> then you have to explain where the old ideas came from

Its fairly plausible that the original ideas could be sensory gradient-triggered impulses in simpler creatures' proto-minds that (physical and cultural) evolution has gradually built up through more complex neural machinery supporting more complex representational language.

> where did art come from

Similarly, its not a stretch to see art as built from earlier attempts at representation in physical space - starting with mundane attempts at information exchange by colony insects or pack creatures. The breadth and depth of expression has evolved alongside more complex neural machinery and greater variety in media through technology. There's a hidden lineage in creatures' expressive capabilities that may not be evident when we look at a Caravaggio today, sure.

There's nothing terribly chicken-and-egg about these issues (though the resolution is the same - "chicken" and "egg" co-evolved through iterative selection pressures, one didn't precede the other).

All that said, I concur that its a fantastic and mysterious topic to unpack, but it doesn't follow for me that humans are anointed as uniquely "creative" or that there's necessarily something metaphysical at play.

Re:I struggle to believe that AI R&D is ingenious by YeGoblynQueenne on Sunday November 08, 2026 @08:17AM (#50413036)
[delayed]
Re:I struggle to believe that AI R&D is ingenious by pixl97 on Saturday November 07, 2026 @05:49PM (#50408768)
> It can't just be combinations all the way down.

Oh no, I don't think you understand how big the problem space actually is.

https://en.wikipedia.org/wiki/Kruskal%27s_tree_theorem

A very simple set of 3 possible combinations blows up into a possibility that is 2 to the 2 teterations 1000. This number cannot be explained to the human mind realistically.

> What pre-existing ideas were combined to bring it into existence from non-existence?

This depends what you believe about existence. For example if you believe in mathematical existences then 'simple' exploration of the problem space can lead you to find anything that could possibly exist in the conditions our physical universe allows algorithmically. And the number of those things are for a practical matter, infinite.

>we are a creative species. We can create new things. Somehow.

You are viewing this from a very human perspective scale though. Your individual cells are massively creative containing solutions to a staggeringly huge number of problems, including ones they've not seen before (take the immune system for example), yet how 'intelligent or creative' would you consider your cells to be.

Simply put you're ignoring algorithmic creativity and problem space exploration as it is, until you at least look at how simple systems create infinite complexity already.

Re:I struggle to believe that AI R&D is ingenious by YeGoblynQueenne on Sunday November 08, 2026 @08:15AM (#50413017)
>> Oh no, I don't think you understand how big the problem space actually is.

Again: what's the number of combinations of elements of ∅?

(∅ is the empty set, a.k.a. {})

Re:I struggle to believe that AI R&D is ingenious by TheOtherHobbes on Friday November 06, 2026 @06:41AM (#50391163)
LLMs are like an athletic child - they can do some basic moves, but in general they're uncoordinated.

Occasionally they do something that surprises you. If you put them inside a search loop and spend huge sums of money you'll get some nuggets of value, but for most hard problems the cost isn't worth it.

And they work best with a lot of steering.

From that POV they're exactly like human culture. Most scientific papers are trash, a few are gamechangers. Same with the arts, etc.

But we've gone from 'Can write sentences' to 'Can do frontier math problems' in maybe five years.

We absolutely do have AGI now. It's not very good AGI, but it's probably better than a lot of people were expecting.

Being better than humans at everything isn't AGI, it's ASI. A lot of the comments here seem to be lamenting that we don't have that yet, which is an interesting data point about how far the goal posts have moved.

Re:I struggle to believe that AI R&D is ingenious by busssard on Friday November 06, 2026 @01:08PM (#50395999)
if you search papers with it, and from there search related papers and have it do literature reviews, it comes up with very useful white areas uncovered, and from there problem statements and experimental designs to uncover the white spots.

it is nothing but combining known knowledge that begets new.

Re:I struggle to believe that AI R&D is ingenious by naasking on Friday November 06, 2026 @07:35AM (#50391614)
> by its nature it doesn’t have a “vision” of how the whole system fits together

I think a harness for building hierarchical summaries with tooling for expanding and searching history is what's missing for this. We're getting there with Recursive Language Models and continuous compaction systems like the one NVidia just published:

https://arxiv.org/abs/2611.05306

Re:I struggle to believe that AI R&D is ingenious by jasomill on Friday November 06, 2026 @11:00PM (#50401495)
This stokes my suspicion that effective LLM input for software development will ultimately resemble more of a higher level programming language than the natural language in common use today, and that the design of such languages and related tooling will play at least as large a role as the models themselves.
Re:I struggle to believe that AI R&D is ingenious by furyofantares on Friday November 06, 2026 @07:35AM (#50391616)
And then there's all the math problems if solved where the information is new to every human on earth.
Re:I struggle to believe that AI R&D is ingenious by jasomill on Friday November 06, 2026 @10:53PM (#50401471)
This is not novel. Computers have been generating mathematical information that would be resource-prohibitive to produce by hand since the dawn of computing.

The ingenious aspect seems to be that we've found simpler ways to apply computing power to a broader range of problems, which it's important to note is as much a testament to the developers of proof assistants like Lean as it is to LLM developers, to say nothing of the countless mathematicians over many centuries that contributed training data.

Re:I struggle to believe that AI R&D is ingenious by BenoitP on Friday November 06, 2026 @08:37AM (#50392134)
Strong agree, but with a major caveat: First since we humans don't have a memory the size of the internet, new TO YOU is extremely easy to find. And second: a lot of discoveries can be made by trying to match two different domains and generate new insights at the seams.

A lot of math theorems are discovered that way by humans btw: find a difficult problem in a domain, map it to another domain, apply existing theorems there, go back to the original domain. The only difference is an LLM would have to search for an interesting problem, but that can be done by brute-forcing search at the seams and validating the problem does not previously exists. And there is no new TO YOU for the LLM: it can get help from a vast amount of helper domains.

IMHO there's a shot at having category theory really unifying a large chunk of maths in the next decade. It'll be a big ugly ball of Lean, but a queryable one at that.

Re:I struggle to believe that AI R&D is ingenious by olalonde on Friday November 06, 2026 @08:52AM (#50392293)
> by its nature

Declarations about what LLMs can't do "by their nature" historically have a terrible shelf life.

Re:I struggle to believe that AI R&D is ingenious by Personability on Friday November 06, 2026 @10:53AM (#50393917)
Unless LLMs drastically shift incredibly quickly, said declaration is likely to hold, because of how LLMs work. I mean, they've worked the same way at their core for several years now.
Re:I struggle to believe that AI R&D is ingenious by lern_too_spel on Friday November 06, 2026 @05:33PM (#50399397)
They predict what comes next and are very good at it. That's all intelligence is. What comes next in a pattern? What will my senses perceive next when I drop this ball? What is the next hypothesis to test after I made these measurements in the previous experiment? What is the best next move in this game after the current trajectory?
Re:I struggle to believe that AI R&D is ingenious by jasomill on Friday November 06, 2026 @11:09PM (#50401525)
Maybe. And while this may be a useful superpower, it's hard to predict whether it would be an enjoyable one.
Re:I struggle to believe that AI R&D is ingenious by olalonde on Saturday November 07, 2026 @08:03AM (#50404217)
Their nature hasn't changed but their capabilities have. What we thought was impossible due to their "nature" keeps moving.
Re:I struggle to believe that AI R&D is ingenious by russli1993 on Friday November 06, 2026 @12:25PM (#50395369)
which is actually great, because LLM so far does not show true AGI ability, they are not innovative. Humans are still needed so everyone still have a job. And you can delegate the stuff that you need to be careful with, or attention to detail stuff, to LLMs
Re:I struggle to believe that AI R&D is ingenious by jasomill on Friday November 06, 2026 @11:13PM (#50401541)
Most human jobs don't require innovation.

On the other hand, there's no evidence that work will dry up merely because it becomes more efficient, or even if it does, that this cannot lead to a better world. The trick is finding a way to prevent rapid changes in the nature of work from destroying too many lives, and that's a very human problem machines alone can't solve.

Re:I struggle to believe that AI R&D is ingenious by mcv on Friday November 06, 2026 @07:21PM (#50400342)
I've come to the conclusion that they know a lot, but they're not very smart. Not even the best ones.

They know far more than any human ever could: they've read all the books. Their knowledge is enormous. And that often includes how to apply it in standard ways, and sometimes in slightly non-standard ways. But whenever something gets complex, detailed and nuanced, they can't keep up with a human. It becomes a shallow illusion that's easily punctured by just a bit of critical thought.

You mention system architecture, but even for writing code, the code it writes is often horrible. It makes it work because it has a feedback loop that rapidly tests it and ensures it will work, but the actual code it writes down is often not something I would feel comfortable showing to another programmer.