Seminars
Home
Centers & Programs
AI and Natural Sciences
Seminars
- FIELD
- AI and Natural Sciences
- DATE
-
Jun 12 (Wed), 2024
- TIME
- 14:00 ~ 16:00
- PLACE
- 7323
- SPEAKER
- 이동헌
- HOST
- Hyeon, Changbong
- INSTITUTE
- 고려대학교
- TITLE
- Dawn of a New Era: Computers in Mathematics Olympiads
- ABSTRACT
- In 2024, a Nature paper [1] from Google Deepmind announced how a computer algorithm, named AlphaGeometry, managed to solve International Mathematics Olympiad (IMO) geometry problems. Its performance is reported to be almost on par with past IMO gold medalists. In this talk, we will take a look at how AlphaGeometry operates, what it achieved, and what was left unaddressed. Additionally, we will also graze at AI Mathematical Olympiad (AIMO), a more recent development along this direction of a new era.
Reference:
[1] Trinh, Trieu H., Yuhuai Wu, Quoc V. Le, He He, and Thang Luong. 2024. “Solving Olympiad Geometry without Human Demonstrations.” Nature 625 (7995): 476–82.
- FILE
-