Breaking Points: How AI Is Solving Decades-Old Math Problems

AI is no longer just crunching numbers — it’s helping crack mathematical problems that have stumped experts for decades. In this condensed episode of Breaking Points, hosts Krystal Ball and Saagar Enjeti talk with University of Toronto professor Daniel Lit about how artificial intelligence is changing mathematical discovery, proof verification, and the future of education. The original episode runs much longer, but this summary delivers the key ideas in minutes. Lit explains why today’s AI systems can solve real conjectures, why formal proof systems like Lean still matter, and why human mathematicians remain essential for interpretation and rigor. He also addresses fears about AI alignment, the loss of discovery, and whether math education needs a reset as take-home exams become obsolete. If you’re interested in AI, machine learning, technology and innovation, and the ethics of automation in education, this episode shows why the math community is both excited and uneasy. Listen now to get the key ideas in minutes.