컨텐츠 시작
학술대회/행사
초록검색
| 제출번호(No.) | 0267 |
|---|---|
| 분류(Section) | Special Session |
| 분과(Session) | (SS-18) Mathematics and AI (SS-18) |
| 발표시간(Time) | 20th-D-13:00 -- 13:30 |
| 영문제목 (Title(Eng.)) |
AlphaGeometry: Computer algorithm that solves IMO geometry problems |
| 저자(Author(s)) |
Donghun Lee1 Korea University1 |
| 초록본문(Abstract) | On January 2024, researchers from Google Deepmind published an original paper about their computer algorithm, named AlphaGeometry, that solves International Mathematics Olympiad (IMO) geometry problems. Its performance is reported to be almost on par with past IMO gold medalists. Together we go straight into the original paper to examine the details of how AlphaGeometry operates, what it achieved, and what was left unaddressed. Key reference: 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. |
| 분류기호 (MSC number(s)) |
68T01 |
| 키워드(Keyword(s)) | Artificial intelligence, geometry, International Mathematics Olympiad |
| 강연 형태 (Language of Session (Talk)) |
English |