OpenAI claims agent-produced solution to 90-year-old Navier-Stokes Millennium Prize Problem
tianyin_xu · x · 2026-09-09
OpenAI announced that a group of agents, running on a next-generation model it says is significantly more capable than GPT-6 Astra, produced a solution to the Navier-Stokes Millennium Prize Problem — whether smooth three-dimensional fluid motion described by the equations can break down, unresolved for roughly 90 years.
Mathematicians reacted cautiously: TaliaRinger said it's hard to celebrate given how mathematicians have been treated, and worries specifically about possible Lean kernel bugs in this proof — unlike with FLT, this is exactly the situation where verification reliability matters most.
Related event: OpenAI claims Navier-Stokes breakthrough, shadowed by credit dispute(249 posts)→
More from Models
- GPT-6 Astra is now available on AWS Bedrock — gabrielchua · 2026-09-09
- Dev dissects GPT-6 Astra's computer use loop, makes it 2.5x faster with Stagehand — TheMoonMidas · 2026-09-09
- Qwen3.8-Flash-Next runs 1M context locally on M5 Max at 40 tok/s via MLX-serve — Beamsters · 2026-09-09
- OpenAI's official GPT-6 Astra prompting guide: five changes to stop prompting it like GPT-5 — goyalshaliniuk · 2026-09-09
- OpenAI launches academic program, with a caveat: use at your own risk — lucacarlone1 · 2026-09-09
- A breakdown of the most popular GLiNER models for zero-shot NER — kalyan_kpl · 2026-09-09