During 2026–27, the CMSA will host a seminar on New Technologies in Mathematics, organized by Michael Douglas and Luca Pesce. This seminar will take place on Wednesdays from 2:00 pm–3:00 pm (Eastern Time). The meetings will take place in Room G10 at the CMSA, 20 Garden Street, Cambridge MA 02138, and some meetings will take place virtually on Zoom or be held in hybrid formats. To learn how to attend,  join the seminar mailing list or contact Michael Douglas (mdouglas@cmsa.fas.harvard.edu).

The schedule will be updated as talks are confirmed.

Seminar videos can be found at the CMSA Youtube site: New Technologies in Mathematics Playlist

  • The Principles of Deep Learning Theory

    Virtual

    https://youtu.be/wXZKoHEzASg Speaker: Dan Roberts, MIT & Salesforce Title: The Principles of Deep Learning Theory Abstract: Deep learning is an exciting approach to modern artificial intelligence based on artificial neural networks. The […]

  • Hierarchical Transformers are More Efficient Language Models

    Virtual

    https://youtu.be/soqWNyrdjkw Speaker: Piotr Nawrot, University of Warsaw Title: Hierarchical Transformers are More Efficient Language Models Abstract: Transformer models yield impressive results on many NLP and sequence modeling tasks. Remarkably, Transformers can […]

  • Machine learning with mathematicians

    https://youtu.be/DMvmcTQuofE Speaker: Alex Davies, DeepMind Title: Machine learning with mathematicians Abstract: Can machine learning be a useful tool for research mathematicians? There are many examples of mathematicians pioneering new technologies […]

  • Toward Demystifying Transformers and Attention

    Virtual

    https://youtu.be/MSw8HV0eHo8 Speaker: Ben Edelman, Harvard Computer Science Title: Toward Demystifying Transformers and Attention Abstract: Over the past several years, attention mechanisms (primarily in the form of the Transformer architecture) have revolutionized deep […]

  • Bootstrapping hyperbolic manifolds

    Virtual

    https://youtu.be/updzX0XPYU4 Speaker: James Bonifacio, Cambridge DAMTP Title: Bootstrapping hyperbolic manifolds Abstract: Hyperbolic manifolds are a class of Riemannian manifolds that are important in mathematics and physics, playing a prominent role […]

  • Scaling Laws and Their Implications for Coding AI

    Virtual

    https://youtu.be/Suhp3OLASSo Speaker: Jared Kaplan, Johns Hopkins Dept. of Physics & Astronomy Title: Scaling Laws and Their Implications for Coding AI Abstract:  Scaling laws and associated downstream trends can be used […]

  • Machine Learning 30 STEM Courses in 12 Departments

    https://youtu.be/QaOZCa8SFvA Speaker: Iddo Drori, MIT EE&CS and Columbia School of Engineering Title: Machine Learning 30 STEM Courses in 12 Departments Abstract: We automatically solve, explain, and generate university-level course problems from […]

  • Formal Mathematics Statement Curriculum Learning

    https://youtu.be/4zINaGrPc9M Speaker: Stanislas Polu, OpenAI Title: Formal Mathematics Statement Curriculum Learning Abstract: We explore the use of expert iteration in the context of language modeling applied to formal mathematics. We show […]

  • Memorizing Transformers

    Virtual

    https://youtu.be/5AoOpFFjW28 Speaker: Yuhuai Wu, Stanford and Google Title: Memorizing Transformers Abstract: Language models typically need to be trained or fine-tuned in order to acquire new knowledge, which involves updating their weights. […]

  • Breaking the one-mind-barrier in mathematics using formal verification

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

    https://youtu.be/D7dqadF5k9Q New Technologies in Mathematics Seminar Speaker: Johan Commelin, Mathematisches Institut, Albert-Ludwigs-Universität Freiburg Title: Breaking the one-mind-barrier in mathematics using formal verification Abstract: In this talk I will argue that […]