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
- Free EECS 6322 deep learning course: visual path from transformers to diffusion models — CSProfKGD · 2026-10-25
- ArtHOI accepted to TPAMI: turns AI-generated video into supervised-free 4D articulated human-object interaction data — liuziwei7 · 2026-10-25
- Lure-TTS: 600M voice models trained for under $200, running 4x faster than real time — smirkishere · 2026-10-25
- Math arXiv paper counts diverge by field: steady growth 2022-2025, then a shift in 2026 — IgorCarron · 2026-10-25
- AI experts couple strong benchmark forecasts with low-resolution folk models of society, sparking bottlenecks debate — random_walker · 2026-10-25
- Why voice models sound natural alone but awkward in conversation: an architecture breakdown — Gauri_the_great · 2026-10-25