Mathematician Steven Strogatz Cries Talking About AI's Math Breakthroughs
stevenstrogatz · x · 2026-09-13
Cornell mathematician and Big Math author Steven Strogatz broke into tears in a WIRED interview discussing recent AI-driven breakthroughs in mathematics, saying "the science is thrilling, but there's a lot of human unpleasantness going with it." He has now started an X thread trying to explain what moved him.
Context: OpenAI claimed it used tens of thousands of agents to solve a 90-year-old problem with a $1M prize (pending independent verification), but mathematician Tristan Buckmaster alleges OpenAI rushed ahead after learning of his work with Anthropic researcher Levent Alpöge and tried to influence credit. Anthropic said Claude proved 29,500 small lemmas while formalizing Fermat's Last Theorem. Strogatz sees these ruptures as symptoms of corporate labs racing for headlines ahead of blockbuster IPOs, rapidly reshaping the field.
More from AGI Musings
- Lab insider explains the internal-external gap on AI progress and Astra scare — MajmudarAdam · 2026-09-13
- Hugging Face's Noyant: Embodied AI saves lives but isn't profitable under capitalism — mervenoyann · 2026-09-13
- METR brings in Redwood staff for independent investigation of Anthropic alignment incidents — Jsevillamol · 2026-09-13
- MIT publishes official AI and Education report with eight guiding principles — alex_verem · 2026-09-13
- MIT report: 46% of undergrads use LLMs daily, 90% worry about overreliance — alex_verem · 2026-09-13
- "Doomsday sells tickets": skeptic calls Anthropic testimony a hype playbook — gerardsans · 2026-09-13