CMSA Seminar AI for the working mathematician: Mathematics in the Age of AI: Discovery, Verification and the Future of Proof

Name: CMSA Seminar AI for the working mathematician: Mathematics in the Age of AI: Discovery, Verification and the Future of Proof
Start: 2026-11-18T16:30:00-05:00
End: 2026-11-18T17:30:00-05:00
Location: CMSA, 20 Garden St, G10

AI for the working mathematician, CMSA EVENTS

When: November 18, 2026

4:30 pm - 5:30 pm

Where: CMSA, 20 Garden St, G10

Address: 20 Garden Street, Cambridge, MA 02138, United States

Speaker: Ken Ono (Axiom Math and University of Virginia)

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 formalization of major bodies of mathematics, including the Classification of Finite Simple Groups and the Stacks Project. These examples raise fundamental questions about proof, trust, and the enduring role of human creativity.