Summary
The Verge's AI reporter, Robert Hart, discusses the growing "AI crisis in math" on the Decoder podcast, following OpenAI's recent publication of solutions to longstanding mathematical problems. This development has sparked debate among mathematicians about the future role of human researchers and the implications of AI's rapidly advancing capabilities in complex math, despite its continued struggles with basic arithmetic.