Math AI Seminars

We often hear that mathematics consists mainly of proving theorems. Is a writer's job mainly that of writing sentences?
—Gian-Carlo Rota (1980)

Math AI-related colloquia and seminars at University of Washington