| Mardi 18 Mar 2025 18:30 - Mardi 18 Mar 2025 19:30 | Gratuit |
|
|
Événement
AlphaGeometry: a step toward automated math reasoning
An ICERM Public Lecture - AlphaGeometry: a step toward automated math reasoning
Junehyuk Jung, Brown University / Google DeepMind
Tuesday, March 18, 2025
ICERM, 121 South Main Street, 11th Floor, Providence, RI 02903
Light reception: 6:00 pm
Lecture begins: 6:30 pm
ABOUT THE LECTURE
Last summer, Google DeepMind's AI systems made headlines by achieving Silver Medal level performance on the notoriously challenging International Mathematical Olympiad (IMO) problems. For instance, AlphaGeometry 2, one of these remarkable systems, solved the geometry problem in a mere 19 seconds!
In this talk, we will delve into the inner workings of AlphaGeometry, exploring the innovative techniques that enable it to tackle intricate geometric puzzles. We will uncover how this AI system combines the power of neural networks with symbolic reasoning to discover elegant solutions.
Furthermore, we will discuss the broader implications of this achievement. How should mathematicians and the public perceive such a powerful reasoning system? What does it mean for the future of mathematics and artificial intelligence? Join us as we unravel the mysteries of AlphaGeometry and ponder the exciting possibilities that lie ahead.
ABOUT THE SPEAKER
Junehyuk Jung is an Associate Professor of Mathematics at Brown University and a Visiting Researcher at Google DeepMind. His research interests span a wide range of areas including number theory, homogeneous dynamics, hyperbolic geometry, and mathematical physics. He also has been collaborating with research scientists at Google DeepMind to build advanced-reasoning systems towards Artificial General Intelligence.
|
|
 |
AdresseICERM, Brown University's Math Institute (Afficher)
121 S. Main St
Providence, RI 02903
United States
Catégories
| Chiens bienvenus : Non |
| Non-fumeur : Oui |
| Accessible aux fauteuils roulants : Oui |
|
Contact
Accessibilité
In-Person Event Only, we are unable to offer live-stream or recording for this talk.
Rappel
|
