Events Search and Views Navigation

Event Views Navigation

Today

CMSA NTM Seminar 10.14.2026.docx

Prove2Me: Formalizing Fermat Last Theorem and Beyond

Virtual

New Technologies in Mathematics Seminar Speaker: Tianyi Peng, Decision, Risk, and Operations Division, Columbia Business School Title: Prove2Me: Formalizing Fermat Last Theorem and Beyond Abstract: Proof assistants such as Lean 4 […]

CMSA AI for Mathematicians Seminar 10.14.2026.docx

First Proof Batch 3: Mathematicians putting AI to the test

CMSA Room G10 CMSA, 20 Garden Street, Cambridge

AI for the Working Mathematician Speaker: Lauren Williams, Harvard Title: First Proof Batch 3: Mathematicians putting AI to the test Abstract: First Proof is an initiative that aims to obtain a […]