Mathematician Daniel Spielman on the AI-driven "Big Reset" in mathematics

stevenstrogatz · x · 2026-11-12

Daniel Spielman responds to Shang-Hua Teng's "Big Reset" claim: AI systems now solve problems that stumped mathematicians for decades — three problems Spielman planned to contemplate for years were solved in two weeks. Meanwhile people are systematically scraping the web for conjectures, feeding them to AI agents, and dumping questionable 'proofs', which harms the field's correctness ecosystem. The essay explores how to minimize the harm, and Strogatz highlights Spielman's advice: get known for a problem agenda and avoid competition by doing what others aren't thinking about.

Original post →

More from AGI Musings

AGI Musings channel →