DeepMind Workshop On Proof and Progress In AI and Mathematics Date & Time April 30, 2025 | 12:00pm – 1:00pm Location Simonyi 101 Event Series Math & AI Categories Mathematics Notes *Please note this workshop is by invitation only for non-IAS affiliates* https://www.ias.edu/math/events/deepmind-mathai-workshop
