the whole timeline, from the equations to today:

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."

https://t.co/MOmY67RLGM