Breakthrough on famous open math question by AI

[Dryas]

https://x.com/OpenAI/status/2057176201782075690

Yea, so AGI seems quite likely.

[Leo Gura]

You can't believe any such news stories.

We have no idea what human involvement was part of this.

[Dryas]

2 minutes ago, Leo Gura said:

You can't believe any such news stories.

We have no idea what human involvement was part of this.

You can see the researchers testifying in the video of the tweet though. Seems like almost impossible to coordinate a lie like that.

[Jodistrict]

I did some investigation to see if it was using brute force or systematic search of possibilites, and this was not the case.  It was a general system, not tuned to mathematics, and came up with the solution independently.

"Instead, a general-purpose OpenAI reasoning model achieved this by independently bridging two completely separate fields of mathematics, finding a hidden conceptual shortcut that 80 years of human mathematicians had entirely missed."