Top
Best
New

Posted by mbustamanter 21 hours ago

GPT-5.6 used a prompt to close a 30-year gap in convex optimization(old.reddit.com)
518 points | 330 commentspage 3
threethirtytwo 18 hours ago|
Genuine question: If you still or did think LLMs are just stochastic parrots that just summarize everything and have no form of creativity, what do you think after seeing results like this?

I'm very curious how people reconcile their fear/hatred of AI with actual objective reality. This is actually what interests me most about the whole AI thing. How we tell ourselves what we tell ourselves.

WarmWash 16 hours ago||
No matter what there will always be people who refuse to believe AI is anything beyond a string of if statements.
throwaway1707 17 hours ago|||
I had to create an account to respond to this because I am quite convinced these math problems they are "solving" are pure marketing. Why is it only GPT doing this, why not Claude? Why does Terrance Tao do marketing for OpenAI? I suspect OpenAI has hired math researchers to solve obscure problems and put them in their training set, purely for marketing reasons.

There was a good comment on the Pelican bicycle svg yesterday about how these models aren't getting much better beyond what the companies focus training them on. I think that's what's happening in this case too, they probably put this in the training set.

raincole 15 hours ago|||
It's such a weird train of thoughts lol. You're using the fact that

- Claude isn't doing that

as evidence to support the assumption that

- it's a marketing trick

Which is obviously non sequitur, as if it were a marketing trick, Anthropic could do it too. Anthropic isn't known for not spending on marketing.

Honestly, nowadays I question human's reasoning ability more than I question AI's.

Jweb_Guru 16 hours ago||||
> Why is it only GPT doing this, why not Claude?

Because Claude can't do it. Anyone who tells you that Fable is better than GPT 5.6 at pure math is lying to you.

threethirtytwo 16 hours ago||||
Terrence Tao getting paid by openAI is, to you, the most probable conclusion... much more so then the LLM actually being able to come up with math proofs?
throwaway1707 14 hours ago||
Terrance Tao has for a fact appeared in promotional material for OpenAI. Based on my Googling the consensus seems to be he is paid for it, but I cannot confirm that.

I do think it's very likely that OpenAI pays for solutions like these to put in the training set, and then we get material like this Reddit thread. They market themselves as selling "intelligence", and solving these math problems is something people view as highly intelligent. I'm not a mathematician, so I cannot fully judge it, but based on my experience using LLMs for novel problems in other domains, they seem to really struggle with things that aren't common. That leads me to believe they train for specific outcomes like this. Also, there are a lot of jobs out there for data annotation, including software problems (Meta has basically reorganized its entire engineering department to create training data for coding problems).

This comment on the Pelican svg better articulates what I'm getting at: https://news.ycombinator.com/item?id=48950883

Jweb_Guru 8 hours ago||
You can go through my commenter history and know I'm no fan of LLMs. I don't overstate LLM capabilities and am highly skeptical of them in general. 5.6 Pro is genuinely pretty good at certain kinds of math problems that just require trying out lots and lots of solutions, mostly because it's stubborn and can run a bunch of instance in parallel. It is NOT good at coming up with unique ideas or recognizing when its proof approach is doomed, and if the correct approach isn't in its "bag of tricks" for tackling a specific kind of problem, it is not going to get it without a lot of guidance. That said: I 100% believe that it's solved the problems people are claiming that it solved.

The way you should read this is (IMO) not that LLMs have somehow achieved AGI, but that a lot of mathematical research is more about knowing a huge amount of mathematical background, being stubborn, and getting lucky with an approach than it is about brilliant insight. Many people who don't think of themselves as particularly mathematically gifted could have made progress on these problems if they were given enough time and were interested enough. What's notably different about 5.6 (and born out in benchmark after benchmark) is that it does seem to genuinely "reason" through stuff at all -- without that, persistence is pretty worthless because the LLM just goes wildly off the rails if it's put to work for long enough (5.6 itself will still do this if it can't find an answer in a reasonable amount of time).

vanuatu 12 hours ago||||
kind of a hilarious conspiracy theory

You are correct that LLMs are trained on existing proofs but hiring researchers to solve unsolved problems is just unrealistic, both in terms of how none of the mathematicians simply came out and took credit for their own discovery or exposed this, and how training sets are not easily memorized (rather, the meta techniques are learned).

OpenAI just has better training methods and techniques for pure math over Anthropic, it’s one of their biggest strengths

frozenseven 12 hours ago|||
Terence Tao also uses Anthropic's models in his work. Oh, you didn't know that? Well, now you can pivot to saying that he's getting paid off by both companies. This is actually one of the hallmarks of both conspiratorial nonsense and military-grade cope. Any fact, regardless of how mundane or extraordinary, gets re-imagined as evidence of the same mad-hatter conclusion.

I hope people are screenshotting this stuff. This really needs to be documented. It's remarkable how wild it's getting.

barnacs 18 hours ago|||
I hold my stance that LLMs are stochastic parrots.

Making the parrots ever more complex and training on ever more data produced by intelligent, creative beings may make them more useful or convincing but does at no point give rise to intelligence or creativity.

qnleigh 15 hours ago|||
I won't touch creativity, but if this and other results like it do not demonstrate intelligence, what does? How was it able to solve problems that specialist mathematicians have tried and failed to solve for years?
barnacs 14 hours ago||
Mathematics is a language. If anything, it's much more well defined and formal than most others. Train on enough examples and statistical autocomplete gets you places. I'm surprised how anyone would even consider this intelligence?
tctcd6 16 hours ago||||
Comical human arrogance...
beering 17 hours ago|||
With such high standards, most HN commenters also do not have intelligence nor creativity. I don’t think we can set the bar that high.
slopinthebag 9 hours ago|||
They aren’t really stochastic parrots, they’re next token prediction machines. They aren’t intelligent nor creative imo. However they are quite useful at some tasks. Why would you assume people who don’t kneel at the alter of AI are somehow fearful or hate AI? Most of the hate I’ve seen have been for the people and companies involved with AI not the technology itself.
cindyllm 9 hours ago||
[dead]
qarl2 17 hours ago|||
Heh. I see you're being met with screeching and downvotes.

Not much to do about it, I guess, but continue to call it out.

pessimizer 18 hours ago|||
I'm very curious why people conflate thinking LLMs are stochastic parrots with "fear/hatred" of AI. It seems like you're arguing with people who agree that it works and it helps, but you're trying to insist that this implies that they should kneel down and pray to it.

Is "stochastic parrot" too disrespectful for you? Do you think it is a slur?

edit: and this is a genuine question, also. How do you do stochastic parrot = "just summarize everything" = "no form of creativity" = "fear/hatred" so quickly?

Are summaries not creative? Are Maxwell's equations not summaries? Do people hate and fear parrots?

qnleigh 15 hours ago|||
I have absolutely no problem with people disliking or fearing AI. It's energy consumption, effects on education and potential for displacing good jobs are all quite disturbing. But "stochastic parrot" means that "all it does is randomly repeat things that it has seen before without understanding them." It's infuriating to see this written about an instance of an AI solving an open math probably. Do you think the models are just randomly repeating facts until they accidentally emit a proof? If so, then how do they synthesize that knowledge into something logically coherent?

Alternatively, if you think that even Maxwell was a stochastic parrot, then presumably almost every human who has ever lived was also a stochastic parrot except a few rare examples like Einstein. Not sure what definition you are using but it seems too broad to be useful.

threethirtytwo 16 hours ago|||
I think it's quite clear the proof here shows that it is not a parrot. It objectively isn't.... that's the only rational conclusion. Yet many people claim that it is, so the main conclusion is fear/hatred is causing people to rationalize their logic to fit the narrative they prefer.
slashdave 17 hours ago||
Must be nice knowing you have a clear understanding of "objective reality" that others don't.
threethirtytwo 16 hours ago||
Is it not objective reality that the feat performed by the LLM here is much more then parroting or summarizing something?

It's doing math proofs. At this point, it's fully clear that objective reality is that the LLM is not parroting anything here.

slashdave 15 hours ago||
It's parroting proofs. This is no different than parroting a story.

https://lean-lang.org

elhart05 19 hours ago||
[dead]
luciana1u 19 hours ago||
[dead]
oulipo 19 hours ago||
Except solving problem is probably the least (even though it's important) interesting thing in research...

The most interesting thing in research is finding new questions, that we understand and that we know why they are important. And that's something that humans need to do (by definition)

dash2 18 hours ago|
I keep hearing this but lots of maths problems are practically important! We want to know the answer because it will be useful for applied science, or statistics, or engineering. It’s not all just about knowledge for its own sake.
ewe42 20 hours ago||
[flagged]
smokel 20 hours ago|
Lean is the Mizar here. For those who have no clue what this is about, Mizar [1] was an early automated theorem prover. Can't wait for HN to add AI features to explain concepts in the sideline, and autovoting.

[1] https://en.wikipedia.org/wiki/Mizar_system

robinzfc 19 hours ago||
Mizar is an early theorem prover. It still exists, see the 2025 issue of Formalized Mathematics journal [1] that publishes math articles formally verified by Mizar (since 1990).

[1] https://reference-global.com/issue/FORMA/33/1

nilamo 16 hours ago||
Is this interesting? AI does what we made it to do, news at 8?
throwatdem12311 20 hours ago|
[flagged]
karahime 20 hours ago||
It's interesting to see the old "Why would we go to space when there are still uncured diseases" show up in a place like this. Science and discovery are singular, all discovery aids all discovery.
awaythrow9191 14 hours ago||
The demographics of HN have changed drastically over the past 10-15 years. I don't want to be the "back in my day", but back in my day, there were a lot more technical people here, and politics was much smaller. Now there's a ton more people, ton more politics, and a lot less "hey here's something really cool I built, it's like rsync but nice"
ianm218 19 hours ago|||
Cancer is also bottleknecked by a lot more than just intelligence. If you have 100 of the smartest PHd students working on a cancer problem you have to wait for funding, lab experiments, and clinical trials etc. Math is deterministic and requires nothing like that.
slashdave 17 hours ago|||
LLMs work within the world of what has been written. That is, what is known.

And cancer is not a single disease that can be cured with one therapy.

esafak 19 hours ago|||
Have you not heard of things like AlphaFold?