• Lagrangian Floer Theory and Applications Program

    CMSA 20 Garden Street Cambridge, Massachusetts 02138 United States

    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 […]

  • CMSA Q&A Seminar: Discussion on OpenAI Math Papers

    CMSA Q&A Seminar
    Common Room, CMSA 20 Garden Street, Cambridge, MA, United States

    CMSA Q&A Seminar Title: Discussion on OpenAI Math Papers Abstract: You have likely seen that OpenAI released 722 math papers. For the Q&A meeting on Wednesday October 14, we would like […]

  • 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 […]

  • First Proof Batch 3: Mathematicians putting AI to the test

    CMSA Room G10 CMSA, 20 Garden Street, Cambridge, MA, United States

    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 […]

  • A tale of two Lie groups

    CMSA Room G10 CMSA, 20 Garden Street, Cambridge, MA, United States

    Geometry and Mathematical Physics Seminar Speaker: Spiro Karigiannis, University of Waterloo Title: A tale of two Lie groups Abstract: The classical Lie group SO(4) is well-known to possess a very […]

  • Member Seminar

    CMSA Room G10 CMSA, 20 Garden Street, Cambridge, MA, United States

    Member Seminar Speaker: Yiqi Liu

  • New Technologies in Mathematics Seminar

    CMSA Room G10 CMSA, 20 Garden Street, Cambridge, MA, United States

    New Technologies in Mathematics Seminar Speaker: Riccardo Zecchina (Bocconi University)