AlphaGeometry and Beyond
Organizer
Speaker
Time
Saturday, June 15, 2024 10:30 AM - 12:30 PM
Venue
A6-101
Online
Zoom 637 734 0280
(BIMSA)
Abstract
Automated theorem proving of Olympiad-level geometry problems is considered a notable milestone in human-level automated reasoning. AlphaGeometry (by DeepMind), a neuro- symbolic model trained with 100 million synthetic samples, marked a major breakthrough. It solved 25 of 30 International Mathematical Olympiad (IMO) problems. Combining AlphaGeometry with Wu’s method, it solves 27 out of 30 problems, which outperforms an IMO gold medalist.
This talk delves into the core principles of AlphaGeometry, illustrating how machine learning algorithms, particularly deep learning, are leveraged to address complex geometric problems that have traditionally been challenging for classical methods. We will explore the architecture of AlphaGeometry, highlighting its capability to autonomously learn and generalize from geometric data.
Attendees will gain insights into the technical underpinnings of AlphaGeometry, including its algorithmic framework, training paradigms, and performance benchmarks. The talk will also discuss the future directions and potential expansions of this innovative approach.
Join us to discover how AlphaGeometry is not only advancing the state-of-the-art in geometry processing but also paving the way for new breakthroughs across multiple disciplines.
Speaker Intro
Yunfeng Cai studied in Mathematics at the University of Science and Technology of China from 2000 to 2004. He then pursued his PhD in Computing Mathematics at Peking University, which he obtained in Jan. 2009. From Jan. 2009 to June 2012, he worked as a postdoctoral researcher at the Academy of Mathematics and Systems Science / University of California, Davis. From Sep. 2012 to Sep. 2018, he served as a researcher at Peking University. In Sep. 2018, he joined Baidu Research as a Research Scientist and left on May 2024. In June 2024, he began his current role as a Professor at the Beijing Institute of Mathematical Sciences and Applications (BIMSA).