Events Search and Views Navigation

Event Views Navigation

Today

  • Frontier of Formal Theorem Proving with Large Language Models: Insights from the DeepSeek-Prover Series

    Virtual

    https://youtu.be/qC60ZgsIFvk New Technologies in Mathematics Seminar Speaker: Huajian Xin, DeepSeek Title: Frontier of Formal Theorem Proving with Large Language Models: Insights from the DeepSeek-Prover Series Abstract: Recent advances in large language models have markedly influenced mathematical reasoning and automated theorem proving within artificial intelligence. Yet, despite their success in natural language tasks, these models face notable obstacles […]

  • Quantum Criticality in Black Hole Scattering

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

    Member Seminar Speaker: Uri Kol Title: Quantum Criticality in Black Hole Scattering Abstract: Perturbation theory around rotating black holes captures a few important effects in the physics of gravitational waves emitted from binary mergers. Despite a long and rich history, developing a qualitative understanding of the system remains a challenging problem. In this talk I […]

  • Freedman CMSA Seminar

    Virtual

    Freedman CMSA Seminar *Note: via Zoom only*   2:00-3:30 pm ET Speaker: Michael Freedman, Harvard CMSA Title: Some questions and theorems about closed 3 manifolds embedded in S^4 Abstract: Much is unknown about smooth embeddings of 3-manifolds in S^4; the Schoenflies problem  (Is there only one smoothly embedded 3-sphere in S^4 up to isotopy?) is […]

  • Emergent Non-Invertible Symmetries —The Adjoint QCD Example

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

    Quantum Field Theory and Physical Mathematics Seminar Speaker: Shani Nadir Meynet (Uppsala) Title: Emergent Non-Invertible Symmetries — The Adjoint QCD Example Abstract: After reviewing some general properties of generalized symmetries and the renormalization group (RG) flow for quantum field theories (QFT), I'll describe how the recently discovered non-invertible symmetries can be used to study theories […]

  • Factorization algebras in TQFT

    Science Center 507 1 Oxford Street, Cambridge

    Geometry and Quantum Theory Seminar Speakers: Mayuko Yamashita, Kyoto University Title: Factorization algebras in TQFT Abstract: This is the first in the series of our working seminars on factorization algebras/homologies. This talk focuses on locally constant factorization algebras, which correspond to Topological QFTs. I first explain they are equivalent to algebras over E_n operads and […]

  • Thinking Like Transformers – A Practical Session

    Virtual

    New Technologies in Mathematics Seminar Speaker: Gail Weiss, EPFL Title: Thinking Like Transformers - A Practical Session Abstract: With the help of the RASP programming language, we can better imagine how transformers---the powerful attention based sequence processing architecture---solve certain tasks. Some tasks, such as simply repeating or reversing an input sequence, have reasonably straightforward solutions, […]

  • CMSA Q&A Seminar: Anurag Anshu

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

    CMSA Q&A Seminar Speaker: Anurag Anshu, Harvard University Topic: What is quantum complexity theory?    

  • Perturbative Factorization Algebras

    Science Center Hall E 1 Oxford Street, Cambridge, MA, United States

    Geometry and Quantum Theory Seminar Speaker: Ahsan Khan Title: Perturbative Factorization Algebras Abstract: In physics the starting point in studying a QFT is to write down an appropriate action functional. My talk will aim to sketch how this connects with the framework of factorization algebras.

  • Identity crises phenomena in the large cardinal hierarchy

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

    Member Seminar Speaker: Alejandro Poveda Title: Identity crises phenomena in the large cardinal hierarchy Abstract: It is well-known that certain mathematical questions cannot be answered on the grounds of the standard foundation of mathematics. Large cardinal axioms constitute a series of postulates about the higher infinite which permit to classify these undecidable problems in a coherent hierarchy way. […]

  • Foundation Seminar

    Foundation Seminar
    Black Hole Initiative, 20 Garden Street, Cambridge MA CMSA, 20 Garden Street, Cambridge, MA, United States

    Foundation Seminar (Joint Seminar with BHI) Title: Searching for Dark Matter in the Sky Abstract: Astrophysical and cosmological observations have allowed us to measure the abundance of dark matter and have provided important information on its properties. I will discuss past, present and future efforts to map the gravitational footprint of dark matter throughout the […]

  • Mathematical Structures of Scattering Amplitudes

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

    Colloquium Speaker: Anastasia Volovich, Brown University Title: Mathematical Structures of Scattering Amplitudes Abstract: Planar N=4 Yang-Mills scattering amplitudes have been computed to very high loop order. They have many remarkable properties that have sparked interest from mathematicians working on combinatorics, algebraic geometry, and number theory. At the same time, several methods that have been developed […]

  • Computability on $\mathbb R$ and other continuum-size structures

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

    Colloquium Speaker: Russell Miller, CUNY Title: Computability on $\mathbb R$ and other continuum-size structures Abstract: We begin by recalling the notion of a computable function on the real numbers $\mathbb R$, developed independently by Gregorczyk and Lacombe over sixty years ago. Using this notion, we note that the real numbers that are themselves computable form […]