Steven Strogatz weighs what AI math still needs from people
The hard part may shift from finding proofs to understanding them. People still need to check machine-made math and explain why it matters. They also need to choose which questions are worth work, assign credit, and decide when a lab claim has earned trust.
What the source reports
Steven Levy's WIRED interview follows a fast week for AI math. WIRED says OpenAI claimed tens of thousands of software workers helped solve a 90-year-old math problem with a $1 million prize. Each worker tried parts of a task. WIRED notes the solution still needed outside checking. The article also says Anthropic reported that Claude proved 29,500 small theorems while formalizing an existing proof of Fermat's Last Theorem. Strogatz says human experts still matter for proof digestion. That means turning machine-made proofs into ideas people can understand. The article is an interview and news analysis, not a technical audit of either lab's claim.
Original source
- Title
- A Mathematician Grapples With AI's Recent Breakthroughs
- Author
- Steven Levy
- Publication
- WIRED
- Date
- Saturday, September 12, 2026