"Computers are useless. They can only give you answers"
— Pablo Picasso (1968)
The University of Washington Math AI Lab (ai.math.uw.edu) is a research and education organization focused on using AI for math, directed by Vasily Ilin and Jarod Alper. Over the past four years we have had 58 projects, with 169 undergraduate students, 17 graduate students and 10 professors. Most of them have been Lean formalization projects, with about half hosted at github.com/orgs/uw-math-ai. We have also taught four courses on Lean (one, two, three, four), with two more scheduled this academic year. We are supported by the UW eScience Institute, UW IT Research Computing, AWS, and Nebius.
We meet Mondays and Wednesdays from 4–5:30 pm in Denny Hall 303. See our Winter 2026 projects and GitHub page for code repositories. Use the above dropdown for projects from previous quarters.
The Math AI Lab was formerly called the eXperimental Lean Lab (XLL) and hosted through the Washington eXperimental Mathematics Lab (WXML).
