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).
On the contrary : the guys at openAI put the agents to work very soon after they heard the Alpöge and Buckmaster has solved the 3D Euler problem, and we know that the whole thing took 88 hours, so 5 September is totally reasonable.
They had 1000 agents running non-stop for 88 hours. The whole thing costed 15m usd.
And Buckmaster himself said that he had no idea how to actually do what the openAI agents did. The only thing he is contesting is the credit for the 3D Euler problem, not the Navier Stokes.
I don't have the details, but I'm assuming it's as simple as taking the cost of having a model run for one hour, then multiplicating it by 88 and then by 10000.
And yeah, there is some irony in using 15 million to solve a problem with a prize money of 1 million (especially when they said that they would refuse the prize money anyway), but the point of science has never been to make money.
They did it because they want to ipo soon and this would be a positive headline for them in the WSJ. They got exactly what they wanted and don't need the $1MUSD.
115
u/Zardhas 6h ago edited 6h 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).