Mathematics in the Age of AI (www.quantabooks.org)

Kevin Hartnett's new book, *THE PROOF IN THE CODE*, coincides with a transformative moment in mathematics, particularly through the intersection of AI and advanced computational methods. Highlighted by recent breakthroughs, such as an OpenAI model solving the longstanding unit distance problem, the AI/ML community is witnessing a surge in machine-assisted mathematics. The book sheds light on the growing relevance of tools like Lean, an interactive theorem prover, which enables AI models to engage in mathematical reasoning and learning through reinforcement learning, significantly enhancing their problem-solving capabilities. Hartnett’s discussions, including appearances on various podcasts and a public event at the Simons Foundation, emphasize the critical role AI plays in the evolution of mathematical problem-solving. He advocates for a foundational understanding of mathematics among students, as true collaboration with advancing AI technologies will require deep conceptual expertise. This development signals not only a pivotal shift in how mathematics is taught and understood but also raises important questions about the future role of human mathematicians in an increasingly automated landscape. The upcoming International Congress of Mathematicians will further this dialogue, showcasing authors and experts who are steering the fusion of mathematics and AI forward.