Today

  • 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 promise the paradigm of formally verified mathematics, but large-scale formalization projects have faced major barriers to entry, including the need for expertise in formal verification […]

  • 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)

  • New Technologies in Mathematics Seminar

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

    New Technologies in Mathematics Seminar Speaker: Yasaman Bahri (Google DeepMind)

  • New Technologies in Mathematics Seminar

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

    New Technologies in Mathematics Seminar Speaker:Julia Kempe (NYU)

  • New Technologies in Mathematics Seminar

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

    New Technologies in Mathematics Seminar Speaker: Pierre Ablin (Apple)