AI for the Working Mathematician Speaker: Ken Ono, Axiom Math and University of Virginia Title: Mathematics in the Age of AI: Discovery, Verification and the Future of Proof Abstract: How is artificial intelligence changing mathematics? Drawing on my mathematical journey and recent work at Axiom Math, I will discuss the discovery of new theorems and the […]
Geometry and Mathematical Physics seminar Speaker: Joshua Greene, Boston College
Member Seminar
Doing Mathematics with AI Agents Date: Saturday, November 21, 2026 Time: 9:00–5:00 pm ET Location: Zimmer Hall (Science Center), 1 Oxford Street, Cambridge MA This is a one day workshop for Boston-area mathematics postdocs to work with AI agents in a collaborative environment (designed by Andrew Sutherland) supported by computational infrastructure and formalization tools. […]
Colloquium Speaker: Ewain Gwynne, U Chicago To subscribe or unsubscribe to the colloquium mailing list, please visit this link.
Joint Math/CMSA Geometry and Quantum Theory Seminar Speaker: Yosuke Kubota, Kyoto University
New Technologies in Mathematics Seminar Speaker:Julia Kempe (NYU)
Colloquium Speaker: James Propp (UMass Lowell) Title: Snake graphs and q-deformed real numbers Abstract: I'll present a statistical-mechanical construction of q-deformed real numbers ]_q, inspired by the q-deformed rational numbers _q of Morier-Genoud and Ovsienko. The new construction admits two equivalent formulations: one in terms of random filters in snake posets and the other in terms of […]
Colloquium To subscribe or unsubscribe to the colloquium mailing list, please visit this link.
Joint Math/CMSA Geometry and Quantum Theory Seminar
New Technologies in Mathematics Seminar Speaker: Pierre Ablin (Apple)
AI for the Working Mathematician Speaker: Mark Selke, Harvard Title: TBA