- FIELD
- Math: HCMC
- DATE
- Aug 07 (Thu), 2025
- TIME
- 10:00 ~ 11:30
- PLACE
- 8101
- SPEAKER
- Jung, Junehyuk
- HOST
- Lee, Chul-hee
- INSTITUTE
- Brown University
- TITLE
- [HCMC Geometry and AI] 알파지오메트리와 자동 추론
- ABSTRACT
- 알파지오메트리는 2024년 국제 수학 올림피아드에 출제된 기하 문제를 19초만에 해결한 바가 있는 유클리드 기하학 문제들을 다룰 수 있게 고안된 자동 추론 장치입니다. 이 강연에서는 알파지오메트리가 어떻게 만들어졌고 어떻게 작동하는지 설명드리고 이것이 자동 추론 분야에서 갖는 의미가 무엇인지에 대하여 이야기할 예정입니다. 강연은 한국어로 진행됩니다.
- FILE
