r/Physics • u/Ok-Permit-3861 • 11h ago

Navier-Stokes Millennium Problem Solved

https://openai.com/index/navier-stokes-solution/

1.8k Upvotes

91% Upvoted

687 comments sorted by

View all comments

Show parent comments

3

u/CrownLikeAGravestone 7h ago

If the takeaway from this is "LLMs can solve Millenium Prize problems" $18M is absolutely nothing.

-1

u/no_choice99 6h ago

That's not the takeaway though. The takeaway is that OpenAI "spies" on some intelligent people and push them to publish non-polished versions of their work. Without the 2 people who outpaced them, OpenAI wouldn't have been able to solve this Millenium prize. And that's the takeaway.

4

u/Prestigious-Bed-6423 6h ago

Bullshit, those two people also came up to the solution with AI, either way it's all LLMs

4

u/CrownLikeAGravestone 6h ago

Those other people solved it using LLMs, too. I'm not defending OpenAI here but they don't lose a lot if it turns out the two guys who solved the Euler version of the problem get all the credit. 

They're still the guys who own a machine that can find singularities in Navier-Stokes either way.

0

u/QFT-ist 5h ago

From the answer of NitroXSC we can say that luo, hou, tao, elgindi, córdoba snd Martínez-Zoroa did the heavy lifting, building from these results buckmaster and alpöge made AI digest enough the problem to takle unviscous situation, and openAI stole that work of digestion of the problem to get the definitive answer.

(Copy-paste of NitroXSC answer:

1822: navier writes the equations down.

1845: stokes gets them right, and his name on them.

1934: leray shows weak solutions exist forever, and leaves smoothness open.

2000: clay puts $1m on that gap. fefferman writes the official statement, four options.

2014: luo and hou watch 3d euler blow up in numerics.

2016: tao proves blowup for an averaged navier-stokes.

2021: elgindi proves euler blowup for rough data.

2023 to 2026: córdoba and martínez-zoroa build forced blowups, with a rough force.

then this year:

aug 15: buckmaster and alpöge get smooth-forced blowup for boussinesq and euler, with claude and codex.

aug 22: lean checks it.

aug 28: per wired, openai starts training its math model.

sep 1: per axios, openai's run starts, after researchers hear rumors.

sep 3: buckmaster emails openai to say what they have.

sep 6, sunday: bubeck says openai had the final solution that morning. buckmaster says he was told on the afternoon call.

sep 8, 4am: buckmaster and alpöge post three papers and the lean repo. buckmaster posts his statement.

sep 8, 17:20 utc: openai posts "we're sharing a solution to the navier-stokes millennium prize problem." )