AMS confirms milestone Navier-Stokes breakthrough, credits Spanish mathematicians
The AMS leadership confirmed a milestone advance on the Navier-Stokes problem, calling it a milestone of human knowledge and crediting two Spanish mathematicians for the key strategy; the Lean-formalized proof has been open-sourced.
2026-09-09 ~ 2026-09-09 · 3 related posts
- AMS confirms OpenAI mathematicians completed final steps on the Navier–Stokes problem — RexDouglass · 2026-09-09
- OpenAI claims Navier-Stokes breakthrough as Lean formalizations go public — AlexKontorovich · 2026-09-09
- AMS credits Spanish mathematicians Cordoba and Martinez-Zoroa for key Navier-Stokes strategy before OpenAI's final steps — soumitrashukla9 · 2026-09-09