Math 5810: Special Topics in Mathematics
Math and AI
Fall 2026 · University of Colorado Boulder
Monday, Wednesday, Friday 1:25–2:15 pm · Mathematics Building, Room 350
A graduate topics course on mathematics in the age of artificial intelligence: how AI systems work mathematically, how mathematicians can use them, and how the profession is changing around them.
Vibecoding
Programming by conversation: using AI assistants to write, test, and understand mathematical code.
Links coming soon.
Math of LLMs
What is a large language model, mathematically? Probability, linear algebra, and optimization from the ground up.
- The Mathematics of Large Language Models — an eight-lecture mini-course with a build-your-own-LLM project, by Agnès Beaudry and Katherine E. Stange
Lean
Formalizing mathematics with the Lean proof assistant, and how formalization meets machine learning.
Links coming soon.
Ethics
Academic integrity, authorship, energy and labor costs, and what we owe each other in an AI-assisted mathematical community.
Links coming soon.