Strogatz: two overlooked mathematicians cracked the key to the AI Navier-Stokes proof
stevenstrogatz · x · 2026-09-09
Mathematician Steven Strogatz argues that in the AI-assisted Navier-Stokes blowup proof announced by OpenAI, the crucial strategy came from two mathematicians — Córdoba and Martínez-Zoroa — who aren't getting enough credit, while others built on it and AI supplied the final computations. He praises Quanta Magazine's article for attributing the work correctly.
More from Research
- EPFL talk slides on fractal maps in Lenia, citing Yevenko and Davis 2024 papers — BertChakovsky · 2026-09-09
- Cerebras paper: layer dropout saves up to 25% training FLOPs and yields 1.55x faster decoding — burny_tech · 2026-09-09
- Tencent paper: continuously harder task environments beat co-evolution, +8.6pp on Terminal-Bench — rohanpaul_ai · 2026-09-09
- Pretraining gains come mostly from data: experiments show 12x vs 3.7x compute multipliers — eliebakouch · 2026-09-09
- Mechanize's Tamay Besiroglu: why labs achieve the same breakthroughs at the same time — tamaybes · 2026-09-09
- DriveZero: End-to-End Autonomous Driving Beyond Human Demonstrations — Hao He · 2026-09-09