After OpenAI cracks Navier-Stokes, the era of the human mathematician is ending
yeastsplainer · x · 2026-09-18
A long-form essay argues that OpenAI's resolution of the Navier-Stokes blowup — its first Millennium Prize problem, tackled in parallel with the others — marks the beginning of the end for human-only mathematics. "Qualitative difference" objections sit on the scaling curve; cyborg mathematicians get a brief ascendancy before "the models, and the models alone, will win." The author dismisses mathematicians' efforts (Leiden declaration, Association for Human Mathematics) to preserve human understanding: AI won't be a tool to accelerate research — it will be the research.
More from AGI Musings
- Turning Yang-Mills existence and mass gap into a formal conjecture is AI math's ultimate test — geoffreyirving · 2026-09-18
- tszzl: the sci-fi taboo against synthetic life is emerging as a real-world force — tszzl · 2026-09-18
- Satire of Dario's "pace the frontier": "a company that can hack anything" — Robbiezs · 2026-09-18
- EA Movement's Arc: "Give Everything to Charity" Then, Rule the AI World Now — wordgrammer · 2026-09-18
- The people who need AI most for busywork are the least likely to use it well — Visual-Basis3400 · 2026-09-18
- Agent swarms are the third scaling axis: 10,000+ agents behind recent model breakthroughs — paraschopra · 2026-09-18