Comment by treebeard901

8 hours ago

Is it a PR move designed for maximum IPO impact before actual mathematicians find errors and they have to withdraw many more...

Or if the "peer review" holds up for the remaining results, then it's fair to say that the AI hype is real and the world is about to change dramatically and faster than anyone can comprehend.

So which is it?? LLMs can do some really impressive coding. Bug fixing. Exploit finding. It has reasoning abilites that advance every day. Solving real math problems like this is one thing I was waiting on. It will be interesting to see if it holds up.

If it does, we should expect many other advancements to follow in many other areas. Disease, material science, fusion?

I mean, even if just a few results ultimately hold up to scrutiny, isn't that something that would have been regarded as a major advancement regardless of if it was AI?

The cynical view still makes me think that at the end of the day all the models can do is predict the next word. And as a result, they will be very limited to certain tasks like coding. Math reasoning is much different from writing code. Time will tell.

> Is it a PR move designed for maximum IPO impact [...]

Can't be, as IPO isn't until next year, and I'm pretty confident that is there are errors, said actual mathematicians will find at least a few in the remaining ~2.75 months left in the year+. If there really are errors and a decent amount aren't discovered before the IPO then I'll have serious questions about the math community.

> So which is it??

there is also will be new option of "maybe correct LLM proof", which humans will never be able to comprehend and verify.