Fall 2026 · University of Colorado BoulderMath 5810: Special Topics in Mathematics — Math and AICourse page →The soundtrackA playlist on Spotify ↗ (suggestions appreciated!)Mathematician and Machine
- Proofs and Prompts (ongoing) — communal blog
- The AI & Mathematics Zulip (ongoing) — community chat; this channel is public, no login needed
- Matlas (ongoing) — semantic search over the theorems of 180 journals and 1,900 textbooks · the paper (Apr 2026)
- The Next Unit of Science (Aug 2026) — Requarth on the future of scientific publishing, for humans and AI alike
- The Crisis of AI-Generated Mathematics (Aug 2026) — Max Weinreich's case for total opposition
- Organizing Mathematical Knowledge in the Age of AI and Formalization (Jul 2026) — National Academies workshop · full agenda (Jul 2026)
- Mathematics in the Age of AI — Terence Tao at ICM 2026 (Jul 2026) — public lecture on video · slides (Jul 2026)
- Why AI Needs Formal Mathematics (May 2026) — Edward Lockhart, on video: reward hacking and the case for formal proof · the full collection: Mathematics for and by Large Language Models, 3rd edition (IHES) (May 2026)
- Will Machines Change Mathematics? (Apr 2024) — two special issues of the Bulletin: Venkatesh, Granville, Harris, Cheng, Davis, Williamson, … · part two (Jul 2024) · Venkatesh: some thoughts on automation and mathematical research (Apr 2024) · Bengio & Malkin: towards an AI mathematician (Jul 2024) · Poggio & Fraser: compositional sparsity of learnable functions (Jul 2024)
- The First Proof Project (ongoing) — testing AI with human research problems · the first ten questions (Feb 2026)
- The Leiden Declaration on AI and Mathematics (Jun 2026) — IMU-endorsed statement · the call for action, in the Notices (Sep 2026)
- Axplorer (Mar 2026) — tool for exploration
- Agentic Coding in Practice (2026) — MIT seminar series · “Slop Is a Skill Issue” (video) (May 2026) · slides (May 2026)
- Open-weight models, compared (ongoing) — 300+ models
- The NAIRR Pilot (ongoing) — NSF compute
AI-Assisted Mathematics
- IMProofBench (ongoing) — ETH's research-level proof benchmark: private problems, public leaderboard · the paper (Sep 2025)
- mathcity (ongoing) — a Gas City pack for doing mathematics research: agents file briefs, humans adjudicate
- The Ramanujan Challenge (Jul 2026) — can AI prove formulas for π, e, and ζ? a month-long open test
- Benchmarks in Leipzig (May 2026) — 100 research-level problems from 49 mathematicians, at MPI MiS · the paper (Jun 2026)
- VibeMathed, the stats (ongoing) — a running tally of AI-resolved open problems
- The Erdős Problems database (ongoing) — 1000+ problems, Lean and AI progress tracked · the AI-contributions ledger (ongoing)
- More Than Two Thirds of the Zeta Zeros on the Critical Line (Aug 2026) — an experimental Claude improves the bound of record · the paper (Aug 2026) · Lean formalization (Aug 2026)
- The Jacobian counterexample, explained (Jul 2026) — the conjecture falls in dimension three, interactively · the Secret Blogging Seminar writeup (Jul 2026)
- Remarks on the disproof of the unit distance conjecture (May 2026) — nine mathematicians verify
- Semi-Autonomous Mathematics Discovery with Gemini (Jan 2026) — DeepMind loose on the Erdős problems
- Discovery of Unstable Singularities (Sep 2025) — neural nets find singularities in fluid flow
- Early science acceleration experiments with GPT-5 (Nov 2025) — Bubeck, Gowers, Eldan et al. with GPT-5
- AlphaEvolve: a coding agent for scientific and algorithmic discovery (Jun 2025) — new records, incl. 4×4 matrix multiplication
- Mathematical discoveries from program search with large language models (Dec 2023) — FunSearch evolves programs to a record cap set
The Mathematics of AI
- The Mathematics of Large Language Models (2026) — eight lectures, build your own LLM
- Neural Networks (3Blue1Brown) (2017–2024) — animated explainers
- Understanding Deep Learning (2023) — Prince's textbook, free online
- Deep Learning: Foundations and Concepts (2024) — Bishop & Bishop's textbook, free online
- A Mathematical Perspective on Transformers (Jul 2025) — Geshkovski, Letrouit, Polyanskiy & Rigollet in the Bulletin: attention as interacting particles · arXiv version (Dec 2023)
- On the Geometry of Deep Learning (Apr 2025) — Balestriero, Humayun & Baraniuk in the Notices: networks as piecewise-affine splines · arXiv version (Aug 2024)
- Differential Equations for Continuous-Time Deep Learning (May 2024) — Ruthotto in the Notices: residual networks as ODEs · arXiv version (Jan 2024)
- What is… an Equivariant Neural Network? (Apr 2023) — Lim & Nelson in the Notices · arXiv version (May 2022)
- Is Deep Learning a Useful Tool for the Pure Mathematician? (Apr 2024) — Williamson in the Bulletin, starting from what a neural network is · arXiv version (Apr 2023)
- Large Language Models for Mathematicians (Dec 2023) — Frieder, Berner, Petersen & Lukasiewicz: a mathematical description of the transformer, and what LLMs can do
- Tiktokenizer (ongoing) — watch text break into tokens
- Neural Network Playground (2016) — train a network in your browser
Wrestling with the Future
Substacks
- Silicon Reckoner (ongoing) — Michael Harris on what computers will do for, or to, mathematics
- Entropy Bonus (ongoing) — David Bachman navigating the chaotic terrain of AI
- David Bessis (ongoing) — the author of Mathematica, on mathematical cognition and AI
- Ahead of AI (ongoing) — Sebastian Raschka on machine learning research
- Deep (Learning) Focus (ongoing) — Cameron Wolfe explains AI research topics
- Gradient Ascent (ongoing) — Sairam Sundaresan's weekly guide to AI
- AI Futures Project (ongoing) — Kokotajlo et al., preparing for a world with AGI
- The Third Hemisphere (ongoing) — Tim Requarth, a neuroscientist's field notes on AI and our brains