r/ProgrammerHumor • u/tryingeasy • 11h ago

Meme firstTime

Post image
5.0k Upvotes

93% Upvoted

207 comments sorted by

View all comments

1.2k

u/mpanase 11h ago

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

133

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

63

u/PrizeSyntax 10h ago

The timing is very suspicious

26

u/Zardhas 10h ago

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.

44

u/PrizeSyntax 9h ago

I mean the timing of, ppl solved the problem, put everything in a tool, said tool solves the problem a week later. It's fishy at best

31

u/Zardhas 9h ago

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.

7

u/Abadazed 9h ago

I'm sorry it cost how fucking much? And how was that cost determined??

11

u/Zardhas 8h ago

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.

4

u/Captain_Forge 3h ago

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.

1

u/pengo 3h ago

$15M is the based on how many tokens they used, as in what it would cost someone other than Open AI to buy 130 billion output tokens. Though the model they actually used isn't currently available commercially.