< AlphaGeometry: 논증과 인공지능의 데탕트 >
올해 국제 수학 올림피아드에서 인공지능이 은메달에 준하는 성과를 거두었다. 이 성과의 중심에는 딥러닝 기반 자연어처리 기술과 수리논증 프로그램을 융합한 최신 모범사례인 AlphaGeometry(Trinh et al. 2024)가 있다. 본 세미나에서는 AlphaGeometry의 원리와 이를 적용해 기하학 문제풀이에 성공할 수 있었던 방법론에 대해 살펴볼 것이다. 아울러, 수학과 인공지능 분야의 관련 최신연구방향도 개괄적으로나마 훑어보며 교양의 지평을 조금 더 넓혀보고자 한다.
발표자 : 이동헌 교수 (고려대학교 수학과)
일시: 9월 11일(수) 12:00 ~ 13:30
장소: 사회과학연구원 세미나실 (16동 M111호)
문의 : css@snu.ac.kr / 02-880-5475
사회과학연구원 YouTube
https://www.youtube.com/@
LNB
페이지 안내
서울대 소식 SNU 캘린더
전체 행사
SNU 캘린더
전체 행사
[학술] 사회과학연구원 방법론 세미나 “AlphaGeometry: 논증과 인공지능의 데탕트”
2024.09.11.