AMS credits Spanish mathematicians Cordoba and Martinez-Zoroa for key Navier-Stokes strategy before OpenAI's final steps
soumitrashukla9 · x · 2026-09-09
- The American Mathematical Society called the Navier-Stokes progress a milestone, tracing the credit chain: from Navier, Stokes, Leray, and Ladyzhenskaya to the recent breakthroughs of Córdoba and Martínez-Zoroa (the strategic groundwork), then Alpöge and Buckmaster assisted by new technologies, with final steps by OpenAI mathematicians.
- The two are Spanish mathematicians at ICMAT (CSIC) and CUNEF; Terence Tao and the AMS credit them with the key strategy, yet mainstream coverage is nearly absent.
- AMS president Ravi Vakil and CEO John Meier stress that the achievement and its process will bear fruit for a long time.
Related event: AMS Confirms Navier-Stokes Breakthrough as Lean Proof Goes Open Source(4 posts)→
More from Research
- Researcher flags unresolved data transparency issues in compositionality evals — najoungkim · 2026-10-27
- Separate Forms from Estimators: Why Steer by Difference of Means When You Can Use SGD? — johnhewtt · 2026-10-27
- EMNLP paper probes why some LLM biases survive rewording while others don't — radamihalcea · 2026-10-27
- Datology webinar: Curation Studio matched top data baselines with under 20% compute — josh_wills · 2026-10-27
- KANLab: an interactive browser playground for Kolmogorov-Arnold Networks — Lukas Niehaus · 2026-10-27
- CMU's LLM2Cert synthesizes stability certificates verified via SMT and Lean — CarnegieMellonU · 2026-10-27