Rumor: OpenAI may have cracked Navier-Stokes, with human mathematicians laying years of groundwork
LucaAmb · x · 2026-09-09
An unverified rumor claims OpenAI may have solved Navier-Stokes, one of the seven Millennium Prize Problems, with an announcement possibly imminent.
Important context from the thread: the result reportedly builds on years of work by Diego Córdoba and Luis Martínez-Zoroa developing the underlying approach, with Tristan Buckmaster and Levent Alpöge then using LLMs to push the research much further and formalize and verify the result — human math groundwork amplified by LLMs.
Related event: Rumors say OpenAI solved Navier-Stokes amid priority dispute(2 posts)→
More from Models
- OpenAI users notice usage limits draining far slower after latest reset — TheMoonMidas · 2026-09-09
- Solving a Millennium Prize Problem is an AlphaGo moment for math, says Yuchen Jin — Yuchenj_UW · 2026-09-09
- OpenAI claims agent-group solution to 90-year-old Navier-Stokes Millennium Prize Problem — mobav0 · 2026-09-09
- K2 Horizon open-sources six model scales; 0.9B posts 48.5 on AIME 2026 — kimmonismus · 2026-09-09
- IFM open-sources K2 Horizon: six models, 20T tokens each, and a public reward-hacking audit — kimmonismus · 2026-09-09
- IFM's K2 Horizon: six models from 0.9B to 375B with only 4B/23B active params — kimmonismus · 2026-09-09