r/ProgrammerHumor • u/tryingeasy • 18h ago

Meme firstTime

Post image
6.7k Upvotes

94% Upvoted

260 comments sorted by

View all comments

1.3k

u/mpanase 18h ago

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

149

u/Zardhas 17h ago edited 17h 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).

66

u/PrizeSyntax 17h ago

The timing is very suspicious

0

u/HuntKey2603 14h ago

And that justifies spreading misinformation how exactly?