Welcome to the AI crisis in math

About this episode

My guest today is Robert Hart, The Verge’s London-based AI reporter. Robert recently wrote a fantastic story for us about the debate raging inside the world of mathematics — and the existential crisis over what it means that new frontier AI models have become very good at math in a shockingly short period of time. I wanted to dive into all of this with Robert, who actually spoke to some of the most accomplished mathematicians working today to figure out what’s hype and what’s real — and to get a sense of just how exciting, and how scary, all of this is. Read the full interview transcript on The Verge. Links: The AI takeover of mathematics has begun | The Verge Ten advances in mathematics and theoretical computer science | OpenAI An unreleased Anthropic model made progress on the Riemann hypothesis| TechCrunch OpenAI’s amazing — but vastly oversold — new model Astra | Gary Marcus OpenAI’s math breakthrough played to AI’s strengths | Understanding AI Why the legendary Erdős problems are falling to AI | Quanta Subscribe to The Verge to access the ad-free version of Decoder! Credits: Decoder is a production of The Verge and part of the Vox Media Podcast