Remix.run Logo
▲ mangecoeur a day ago

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

▲hologramofham a day ago | parent | next [-]

> 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?

▲datsci_est_2015 a day ago | parent | next [-]

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.

▲estearum a day ago | parent | next [-]

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.

▲datsci_est_2015 a day ago | parent | next [-]

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.

Also, those 8.3 billion+ unique lives already produce contexts that are highly optimized for solving human problems that modern humans experience in the physical universe most relevant to humans.

▲Diti 5 hours ago | parent | prev [-]

One opinionated answer to this question: LLMs can’t jump [1].

[1]: https://openreview.net/forum?id=klU4737opt

▲unrented7977 16 hours ago | parent | prev [-]

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?

▲YeGoblynQueenne 15 hours ago | parent | prev | next [-]

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 ideas were 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. By denying the mystery of this our ability, by denying that it is a mystery, by dismissing it and accepting any facile explanation that presents itself in our current era -it's god, it's nature, we're like LLMs- we are making ourselves a great epistemic disservice, denying ourselves the chance to find out what it all means, to understand what kind of creature we truly are.

▲jungturk 12 hours ago | parent | next [-]

> 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.

▲saulpw 14 hours ago | parent | prev [-]

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.

▲sandworm101 a day ago | parent | prev | next [-]

>> 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 calculator's version of 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 approach should apply to LLMs... but their limitations remain nebulous and ever-changing.

▲altcognito a day ago | parent [-]

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”.

▲aamargulies a day ago | parent | next [-]

Not hard: Number theory.

▲sandworm101 a day ago | parent | prev [-]

Radians? Do any math where Pi is a base number and the errors can cumulate quickly, depending on where you insert the pi approximation.

▲jdw64 a day ago | parent | prev [-]

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.

▲z3t4 a day ago | parent | prev | next [-]

It's like reading a news paper, when it's about your field of expertise you find lots of errors, but when it's about something you don't know you take it at face value.

▲CyberDildonics 21 hours ago | parent | next [-]

The long name for this is Man Gelatin Ambrosia.

▲antonvs a day ago | parent | prev | next [-]

Known as the Gell-Mann Amnesia Effect.

▲layer8 a day ago | parent | prev | next [-]

The short name for that is Gell-Mann amnesia.

▲ a day ago | parent | prev [-]
[deleted]
▲manapause a day ago | parent | prev | next [-]

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.

▲solyin a day ago | parent [-]

> build a car out of seatbelts

Such a good turn of phrase.

▲andai a day ago | parent | prev | next [-]

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

▲mcv 12 hours ago | parent [-]

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.

▲mcv 12 hours ago | parent | prev | next [-]

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.

▲BenoitP a day ago | parent | prev | next [-]

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.

▲furyofantares a day ago | parent | prev | next [-]

And then there's all the math problems if solved where the information is new to every human on earth.

▲jasomill 8 hours ago | parent [-]

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.

Whether this will lead to many revolutions, or a handful of impressive results followed by a long dark spell remains to be seen.

I, for one, wouldn't place large bets on either.

▲TheOtherHobbes a day ago | parent | prev | next [-]

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.

Edit: also it makes things like this possible. So...

https://x.com/alifarhat79/status/2118478127202713778

▲busssard 18 hours ago | parent [-]

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.

▲abc42 a day ago | parent | prev | next [-]

Yeah, they can only impress the bottom 99% of people. Who needs junk like that.

▲olalonde a day ago | parent | prev | next [-]

> by its nature

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

▲Personability 20 hours ago | parent [-]

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.

▲lern_too_spel 13 hours ago | parent [-]

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?

▲jasomill 8 hours ago | parent [-]

Maybe. And while this may be a useful superpower, it's hard to predict whether it would be an enjoyable one.

▲naasking a day ago | parent | prev | next [-]

> 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

▲jasomill 8 hours ago | parent [-]

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.

▲russli1993 19 hours ago | parent | prev | next [-]

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

▲jasomill 8 hours ago | parent [-]

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.

▲BoredomIsFun a day ago | parent | prev | next [-]

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.

▲benterix a day ago | parent | next [-]

> 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.

▲estearum a day ago | parent | next [-]

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.

▲busssard 18 hours ago | parent | prev [-]

turn up the temperature, the outputs will be very "creative" ;)

▲weavie a day ago | parent | prev | next [-]

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.

▲chrisjj a day ago | parent | prev | next [-]

I too am entertained by LLMs.

Morbid fascination.

▲Madmallard a day ago | parent | prev | next [-]

What?

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

It's not interesting in the least

▲BoredomIsFun a day ago | parent [-]

[dead]

▲gherkinnn a day ago | parent | prev | next [-]

I guess you chose a fitting username

▲ccppurcell a day ago | parent | prev [-]

They're terrible at jokes. I bet any good joke they've given you is simply new TO YOU.

▲pcwelder a day ago | parent | next [-]

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.

▲tikotus a day ago | parent [-]

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!

▲pcwelder a day ago | parent [-]

It matches your experience. Its judgement on which joke will get laughs is only slightly better than random with lots of false positives.

▲antonvs a day ago | parent [-]

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.

▲tikotus a day ago | parent [-]

I'd guess the difference is around a factor of 100 or so.

▲antonvs 20 hours ago | parent [-]

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.

▲tikotus 19 hours ago | parent [-]

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.

▲solyin a day ago | parent | prev | next [-]

They're not all bad! Comedian Don McMillan has done the user testing to see if AI will put him out of a job.

https://youtu.be/wBdkmI03V6g

▲BoredomIsFun a day ago | parent | prev [-]

[dead]

▲roncesvalles a day ago | parent | prev | next [-]

Exactly. If you're an expert on the topic, framework, or library, even the best LLMs are still underwhelming. Even for 15 line snippets, if you're very familiar with the programming language, you'd have written it differently.

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

▲johnnudd a day ago | parent | next [-]

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.

▲suddenlybananas a day ago | parent [-]

What was it?

▲johnnudd 21 hours ago | parent [-]

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.

▲suddenlybananas 21 hours ago | parent [-]

Sounds interesting but very vague!

▲johnnudd 15 hours ago | parent [-]

Perhaps but I have no incentive to write all the details here.

▲aquentinn 7 hours ago | parent [-]

I mean breaking a big problem into many small ones is hardly novel. It's how every business works.

▲abc42 a day ago | parent | prev | next [-]

>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?

▲AngryData 12 hours ago | parent | next [-]

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.

▲abc42 5 hours ago | parent [-]

Okay. So what does it mean when somebody says that LLMs are "low IQ"?

▲Personability 20 hours ago | parent | prev [-]

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.

▲robrenaud a day ago | parent | prev [-]

Does this gel with top mathematicans basically begging OpenAI to stop solving their open problems?

▲lionkor a day ago | parent | next [-]

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.

▲QuesnayJr a day ago | parent | next [-]

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.

▲rsfern a day ago | parent [-]

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

▲QuesnayJr 18 hours ago | parent [-]

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.

▲JPLeRouzic a day ago | parent | prev [-]

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, a Prolog program, a genetic algorithm or a SAT solver would be enough to reach the goal. Clearly it was not the case.

▲suddenlybananas a day ago | parent | next [-]

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.

▲YeGoblynQueenne 15 hours ago | parent | prev [-]

>> If they were really stupid, a Prolog program, a genetic algorithm or a SAT solver would be enough to reach the goal. Clearly it was not the case.

"Clearly" as in "somebody tried that and failed" or "clearly" as in nobody ever thought to try it and now nobody will because there's no point?

▲ccppurcell a day ago | parent | prev | next [-]

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.

▲internet_points a day ago | parent [-]

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.

▲rowanG077 9 hours ago | parent | next [-]

You cannot brute force lean proofs of any complexity. The space is infinitely large.

▲ogogmad a day ago | parent | prev [-]

In my experience they write an informal proof first, check it without Lean, and only then turn it into Lean code. That last step sometimes takes them much longer than checking their proof without Lean, which is a problem humans have as well. What they're truly bad at, however, is explaining their proofs. Until they improve at that, we'll have to keep resorting to Lean to check whether they solved something correctly.

I'm less sure about the following, however: I think that while current LLMs are bad at explaining their own proofs, some models are great for discussing older, human-written proofs. For this use case, from best to worst, Gemini > Claude > GPT-Astra >>>>>>>>>>>> GPT-Sol.

▲seba_dos1 a day ago | parent | prev [-]

A relentless low IQ person with broad textbook knowledge and no need to sleep, I guess?

▲Ar-Curunir a day ago | parent [-]

Look cmon, this is pure cope. The problems it has solved in TCS are far from trivial, with plenty of smart people making their careers in trying to solve them. The techniques these LLMs are using are non-trivial, and not just brute force.

▲LtWorf a day ago | parent [-]

You mean techniques like using the prompt of mathematicians in the training set and brute force a solution before they publish?

▲Ar-Curunir 16 hours ago | parent [-]

No, I mean the techniques in the proofs produced by these LLMs.

▲jasomill 8 hours ago | parent [-]

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.

▲PaulRobinson a day ago | parent | prev [-]

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.

▲OJFord a day ago | parent | next [-]

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.

▲vrighter 18 hours ago | parent | next [-]

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)

▲PaulRobinson a day ago | parent | prev [-]

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.

▲yorwba a day ago | parent | next [-]

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.

▲discreteevent a day ago | parent [-]

Are you saying that a complex stateful system cannot generate a state that is not already recorded in text somewhere?

▲yorwba a day ago | parent [-]

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.

▲serf a day ago | parent | prev | next [-]

>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.

▲ogogmad a day ago | parent | prev [-]

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?

▲PaulRobinson a day ago | parent [-]

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.

▲Nursie a day ago | parent | prev | next [-]

> 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.

▲PaulRobinson a day ago | parent [-]

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.

▲Nursie a day ago | parent | next [-]

> 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".

It's also far easier to find information through LLMs for another niche I play in, certificate authorities, than it is on the open web. Try to look up anything to do with certificates and you'll just get guided to endless "Why my certificate not work? Browser says no?" discussions, because actually creating certificate authorites is again very niche , not widely discussed and a lot of what you need to leverage in any given language isn't well documented because "you'll never need to do this". Well actually...

▲senordevnyc a day ago | parent | prev [-]

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.

▲wiseowise a day ago | parent | prev | next [-]

You’re wrong on literally every point.

▲QuesnayJr a day ago | parent | prev | next [-]

Nobody solves the Quasi-Riemann Hypothesis by looking up online forums.

▲program_whiz a day ago | parent | next [-]

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.

▲scarmig 14 hours ago | parent | next [-]

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."

▲jasomill 7 hours ago | parent [-]

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.

▲skydhash a day ago | parent | prev | next [-]

> 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.

▲QuesnayJr a day ago | parent | next [-]

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.

▲jasomill 7 hours ago | parent | prev [-]

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.

▲famouswaffles 18 hours ago | parent | prev [-]

>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.

▲PaulRobinson a day ago | parent | prev [-]

They do by reading papers and connecting dots.

Which is what they claim to have done.

▲cucumber3732842 a day ago | parent | prev [-]

>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 or otherwise high stakes because while both LLMs and Reddit will whine at you and talk down to you the LLM will actually knock it off when told.

Like I'm asking you about sheetmetal thickness vs joist spacing for re-skinning a goddamn carport with roofing steel, read the room, this is not the time to whine about permits and snow loads and whatnot because the project is happening with or without your advice.

And it's not just mundane stuff. Some guy who's retrofitting new chinesium controls onto 50yo industrial equipment that had a prior generation of controls cobbled on 20yr ago doesn't need to get talked down at about stainless on stainless corrosion when he's asking a question about a solenoid or something. If the LLM talks down to him he can brush it aside. If he tries that on reddit they'll dig in their heels and fling poo.

Cutting out the "negative value" middle man of having to painstakingly make the case about the validity of your big picture goal before getting answers to simple questions is of substantial value. Stuff that people would've painstakingly researched themselves rather than ask Reddit or HN or Stack Overflow because dealing with those people is so onerous they now just punch into their LLM of choice and get the best of both worlds.