Ver el sitio en English, Español, o Français

La boletería solidaria

Entrar

Encontrar un evento

Crear tu evento

Ayuda

AlphaGeometry: a step toward automated math reasoning

ICERM, Brown University's Math Institute
Providence, RI

Compartir este evento

Martes Mar 18, 2025 6:30 PM - Martes Mar 18, 2025 7:30 PM | Gratis

Evento

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
In-Person Event Only, we are unable to offer live-stream or recording for this talk.

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.