Lagrangian Floer theory and Applications Program Dates: September 15–November 21, 2026 Location: CMSA G10, 20 Garden St., Cambridge MA 02138 This thematic program will focus on recent developments in Lagrangian […]
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 […]
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 […]