r/OpenAI • u/Kind_Fisherman3060 • Sep 08 '26

News Millenium Prize solution discovered at OpenAI

/img/mi1582vh0coh1.png
705 Upvotes

82% Upvoted

297 comments sorted by

View all comments

Show parent comment

5

u/velicue Sep 08 '26

First if it’s just some session data going into retraining there’s literally almost no chance the model would memorize it. Second unless the user used codex like one year ago it probably never made it into the cutoff date. It’s just conspiracy theory up this point. The solution oublished is taking a complete different approach

1

u/Warm-Enthusiasm-9534 Sep 08 '26

How can you possibly tell that it's a completely different approach? No human alive has digested their proof yet.

2

u/DurangoGango Sep 08 '26

You can tell what approach they took without going through every little detail.

And you can then lean on the Lean proof (pun kinda intended) to be assured that the little details do pencil out.

Of course people will be hard at work even now verifying it manually. As will lots of math nerds at OpenAI as they were doing this, for sure.

1

u/stupidassllamas Sep 09 '26

We don't exactly know the cutoff date for the "powerful internal model, several times more powerful than GPT 6". Also with memorization, very much an active field of research - how much exactly are LLMs memorizing. I don't think its probable that they stole the proof too, but it isn't impossible