Events Search and Views Navigation

Event Views Navigation

Today

  • 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 to gather to discuss them and hear informal, short presentations (say 10 minutes maximum) from anyone who is engaging with at least one of the […]

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

  • 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 nuanced, objective assessment about the capabilities of large language models to prove specified mathematical statements. I will report on the results of First Proof's third […]

  • 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 rich structure, relating in several ways to complex Euclidean spaces. This structure can be used to construct the classical twistor space Z over an oriented […]

  • Member Seminar

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

    Member Seminar Speaker: Yiqi Liu

  • What is a self-concordant barrier function?, and what is an accelerated first-order algorithm?  (ICM Series: On the work of Yurii Nesterov)

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

    CMSA Q&A Seminar Speaker: Robert M. Freund, MIT Title: What is a self-concordant barrier function?, and what is an accelerated first-order algorithm?  (ICM Series: On the work of Yurii Nesterov) Abstract: The two most impactful contributions of Nesterov on both theory and computation in optimization are (i) self-concordant barriers for interior-point methods in convex optimization, and (ii) […]

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

  • Member Seminar

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

    Member Seminar Speaker: David Ritzwoller