Everyone's talking about finite-time blow-up for Navier–Stokes.
Here's a very simple example of what that means for an ODE:
y' = y²
y(0) = y₀ > 0
y(t) = y₀/(1 − y₀t)
It grows to infinity in finite time T* = 1/y₀.
Inspired by @MarastiMattia#builtWithmarimo notebook 👇👇👇
drama summary for those confused:
- Aug 15th: Tristan Buckmaster & Levent Alpöge make progress on a few important math problems
- they do NOT have a proof for the $1,000,000 Millenium Prize problem. BUT, they do claim to have a proof for a similar (non-Millenium) Navier Stokes problem that could help lead the way there
- Levent works at Anthropic, but this research was independent of his work there, with a mix of GPT and Claude models. Tristan is not related to Anthropic.
- Early Sep: Rumor spreads to OpenAI that Anthropic has solved a major problem. Tristan emails OpenAI to clarify. without revealing the problem they solved or how they did it.
- After hearing of the rumor, OpenAI started researching Navier Stokes with a new internal model.
- Sep 6th: OpenAI's Sebastien Bubeck tells Tristan that they solved the $1,000,000 Millenium Prize Navier Stokes problem. The approach is very similar to Tristan & Levent's approach to the non-Millenium problem.
- Tristan is suspicious of the timing, as only few others were trying this approach. OpenAI says the model didn't access his user data directly, but leaves unanswered whether Tristan's chat conversations were part of the training.
- OpenAI says they would partially credit Tristan for the $1,000,000 discovery (even though Tristan did not solve the $1,000,000 problem) — but only if they remove Levent as an author, as he works for Anthropic.
- Sep 8th: Tristan refuses to remove Levent, and rushes to publish their results independently.
Currently unclear is whether Anthropic had a separate solution for the $1,000,000 problem, or whether the rumor was about Tristan & Levent's independent research.
Wow Navier-Stokes thing is getting really ugly. But from the sounds of things it looks like both labs have actually solved Navier-Stokes independently and drama aside is massive
Finite time blowup with smooth forcing term for the incompressible porous medium, Boussinesq, and incompressible Euler equations
terrytao.wordpress.com/2026/09/07/fin…
It's fun to make predictions. Here's a new one:
Anthropic has solved a Millennium Prize Problem.
And I'll be even more specific.
Claude has solved Navier–Stokes.
It is out for expert review.
And to give myself a hard deadline, they will announce it before the IPO.
52K Followers 599 FollowingMath prof. Author of long-form textbooks on proofs (https://t.co/YqXnxDmOe0), real analysis (https://t.co/3IGQ6BIx5Z) & math history (https://t.co/KkXMGTxCDK).
39K Followers 523 FollowingDigital Geometer, Assoc. Prof. of Computer Science & Robotics @CarnegieMellon @SCSatCMU and member of the @GeomCollective. There are four lights.
0 Followers 30 FollowingYılmaz Lab. | Precision Engineering Research Group focusing on creating functional surfaces in tribology, manufacturing and heat transfer fields. @SophiaUniv_JP
813 Followers 3K FollowingBelle Jour is an author who brings to the world "The Little Vendor and His Soul Lens". The Soul Lens is introduced to the world through The Little Vendor.
930 Followers 7K FollowingEn mi Torre de Marfil.
Quiero ser polímata/Teresiano/INTJ 5w4/🇲🇽/ESP-ENG|
Guitarrista rítmico; rock indie/folk.
Subo pinturas e ideas arquitectónicas.
574 Followers 6K FollowingAufklärung 🧐🐇
Das Urbewusstsein, das aus der reinen Potenzialität schöpft und mittels der Wirklichkeit jedem das Potenzial des Mitgestalters ermöglicht