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