2026년 SNU 10-10 수리과학부에서 개최되는 가우스 콜로퀴움을 아래와 같이 안내드리오니, 관심 있는 분들의 많은 참석 부탁드립니다.

■ 강연 제목
Point Convergence of Nesterov's Accelerated Gradient Method: An AI-Assisted Proof

■ 연사
Ernest Ryu (류경석) 교수님 (OpenAI & UCLA)

■ 일시
2026년 5월 26일 (화) 16:00 ~ 17:00 (Q&A 포함)

■ 장소
서울대학교 129동 상산수리관 1층

■ 강연 내용
The Nesterov accelerated gradient method, introduced in 1983, has been a cornerstone of optimization theory and practice. Yet the question of its point convergence had remained open. In this work, we resolve this longstanding open problem in the affirmative. The discovery of the proof was heavily assisted by ChatGPT, a proprietary large language model, and we describe the process through which its assistance was elicited.

■ 문의
insuk.seo@snu.ac.kr / 02-880-6530

주최: 서울대학교 자연과학대학 수리과학부 SNU 10-10 Initiative