1. Events
  2. New Technologies in Mathematics Seminar

Events Search and Views Navigation

Event Views Navigation

Today

During 2024–25, the CMSA will host a seminar on New Technologies in Mathematics, organized by Michael Douglas and Samy Jelassi. 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, please fill out this form, 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

AlphaProof: when reinforcement learning meets formal mathematics

Virtual

New Technologies in Mathematics Seminar Speaker: Thomas Hubert (Google DeepMind) Title: AlphaProof: when reinforcement learning meets formal mathematics Abstract: Galileo, the renowned Italian astronomer, physicist, and mathematician, famously described mathematics […]

Machine learning for analytic calculations in theoretical physics

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

New Technologies in Mathematics Seminar Speaker: Matthias Wilhelm (University of Southern Denmark) Title: Machine learning for analytic calculations in theoretical physics Abstract: In this talk, we will present recent progress […]