How OpenAI found a singularity in Navier-Stokes — and what it means for AI in science
eigensteve · x · 2026-09-09
Physicist Nick McGreivy published a longread dissecting OpenAI's AI-driven proof on Navier-Stokes: why existence and smoothness remain open even after the Millennium problem was "solved", how the surprisingly simple proof worked, and what it signals for the future of AI in science. A landmark moment for AI-assisted mathematics.
More from Research
- AI researcher: benchmarks without released training data are 100% meaningless — mjdramstead · 2026-09-09
- antirez rebuts Terence Tao: AI proofs add to math knowledge, not subtract from it — antirez · 2026-09-09
- Flow explained in one Manim animation: trajectory, vector field, ODE — ariG23498 · 2026-09-09
- OVIE trains novel-view synthesis on 30M unpaired web images, runs 600x faster than rivals — ducha_aiki · 2026-09-09
- Raschka on GPT-6 Astra: Looped Transformers, Computer Use, and Hidden CoT Rumors — Ahead of AI (Sebastian Raschka) · 2026-09-09
- Bacterial collectives can track and report Xenopus embryos, Levin lab preprint shows — MacrinePhD · 2026-09-09