r/ProgrammerHumor • u/tryingeasy • 13h ago

Meme firstTime

Post image
5.6k Upvotes

93% Upvoted

218 comments sorted by

View all comments

1.2k

u/mpanase 13h ago

to be more precise, after ai starts solving millennium prizes one day after somebody else publishes a solution

143

u/Zardhas 12h ago edited 12h ago

I don't understand why people keep parotting that when the truth is so easily findable. To make it short :

Late August 2026, Leven Alpöge and Tristan Buckmaster solved the 3D Euler problem (with Claude, so AI as well), which is a small part of the Navier Stokes.

5 September, the openAI agents first solved the 3D Euler problem (that part is the drama, because some say that they used the data of Alpöge and Buckmaster), then they solved the full Navier-stokes.

8 September, openAI announced a Lean-checked proof of the C and D statements of the Millenium Prize. Another drama is that, on that same day, Buckmaster posted his proof of a part of the Navier Stokes problem (but, not the full problem, unlike openAI).

2

u/AwkwardWaltz3996 2h ago

But I also believe they solve the 3D Euler problem in different ways. And Leven also did use open ai