OpenAI says internal system solved 90-year-old Navier–Stokes Millennium Problem with a Lean proof
thione · x · 2026-09-15
- OpenAI shared an internal system's solution to the 90-year-old Navier–Stokes Millennium Prize problem, accompanied by a machine-checked Lean formalization.
- If it holds up, it would be a landmark moment for AI tackling top-tier mathematics; the computer-verified proof is the crucial detail.
- The post also mentions the ChatGPT Images 2.5 release (covered separately).
Related event: OpenAI Claims AI Agent Solved the Navier–Stokes Blow-up Problem(8 posts)→
More from Research
- WISD: Distill Training Signal from Weaker Quantized Copies of Reasoning Models — jet-ai · 2026-10-31
- Albert Gu: H-Net learns to segment Chinese characters from raw bytes mid-training — niloofar_mire · 2026-10-31
- LLM Acknowledgments in Bio Preprints Hit 17% in Three Years, Near Specialized AI Tools — teortaxesTex · 2026-10-31
- CS theorist explains the two meanings of 'exponential time' behind new 3-SAT result — aran_nayebi · 2026-10-31
- StudentBench author: AI tutors boosting human intelligence is the use-case to hill-climb — gharik · 2026-10-31
- Spatial Hub aggregates ~5000 public COLMAP-compatible spatial datasets for world models — janusch_patas · 2026-10-31