← Home
Decoder · August 20, 2026 · 40m

Welcome to the AI crisis in math

Robert Hart, The Verge's London-based AI reporter, joins Decoder to discuss the rapid progress of AI models in advanced mathematics and the ensuing debate among mathematicians. In a short time, frontier models have become shockingly good at math, raising existential questions about the nature of the field.

This summary was generated from show notes and public descriptions, not from a full transcript review. Details may contain inaccuracies.

Highlights

•
AI models have made rapid advances in advanced mathematics
Frontier AI models have become very good at solving complex math problems in a shockingly short period of time, sparking a debate inside the mathematical community.
•
Mathematicians are debating the implications of AI-driven math breakthroughs
There is an active debate among accomplished mathematicians about what AI's growing mathematical capabilities mean for the field.
•
Anthropic and OpenAI models have tackled famously difficult math problems
Unreleased Anthropic and OpenAI models have reportedly made progress on the Riemann hypothesis and other famous mathematical conjectures.

Editorial

•
The crisis is about whether human mathematicians will still be needed
The existential crisis in math is about whether AI will replace or augment human mathematicians.
Was this useful?