A curated, occasional list of essays, articles, lectures, and podcasts on
the relationship between mathematics and AI. The selection spans a wide
range of positions, from strong optimism to serious reservations, and many
that resist easy categorization. Restricted to sources that are free to
read or watch. Sorted newest first within each section.
These are personal picks. Inclusion does not imply endorsement, and does
not reflect the views of PIMS or UBC.
Jul 2026Thoughts about the Leiden Declaration. Timothy Gowers (Collège de France / Cambridge), Gowers's Weblog. A response to the Declaration listed below.
Mar 2026Shaping the Future of Mathematics in the Age of AI. Johan Commelin, Mateja Jamnik, Rodrigo Ochigame, Lenny Taelman, Akshay Venkatesh, arXiv:2603.24914. Recommendations across values, practice, teaching, technology, and ethics; companion to the Leiden Declaration.
Sep 2026AI Has Solved One of Math's $1 Million Millennium Prize Problems. Quanta Magazine. OpenAI announced an AI-found singularity in the 3D Navier-Stokes equations, twelve hours after a team of Tristan Buckmaster and Levent Alpöge announced results on closely related problems. Both built on a strategy developed by Diego Córdoba and Luis Martínez-Zoroa. Priority and credit are disputed.
Sep 2026Formalizing Fermat's Last Theorem. Anthropic, research blog. Reports a complete Lean formalization of the Wiles proof produced largely autonomously by Claude over 11 days, running to roughly 13 million lines and 29,500 intermediate theorems. Autoformalization of an existing proof rather than a new result. See the response below.
Sep 2026FLT: Anthropic has beaten me to it. Kevin Buzzard (Imperial College London), Xena Project. Independent verification and mathematical assessment from the leader of the FLT formalization project.