한국외국어대학교 수학과 최일규 교수님을 모시고 아래와 같이 세미나를 개최합니다. 

이번 강연에서는 '직선 교차 수(rectilinear crossing number)'라는 고전적인 수학 문제에 인공지능(AI)을 새로운 탐구 도구로 활용하는 흥미로운 연구 내용이 다뤄질 예정입니다.

관심 있는 교수님, 연구원 및 학생분들의 많은 참여 바랍니다.

초청 연사: 최일규 교수 (한국외국어대학교 수학과)

일시: 4월 1일 수요일 오후 4시 30분

장소: 10-1동 103호 

Title: Evolutionary coding based AI agents for mathematics

Abstract: The rectilinear crossing number is the minimum number of edge crossings in a straight-line drawing of a graph in the plane. Despite its elementary definition, even the case of complete graphs remains poorly understood, and progress over the past several decades has relied on a blend of geometric intuition, combinatorial reasoning, and increasingly sophisticated computational methods. In this talk, I will present a progress report on an attempt to use artificial intelligence as a new exploratory tool for this classical problem. After briefly surveying the history of the rectilinear crossing number and its known constructions, I will introduce OpenEvolve, an open-source framework inspired by AlphaEvolve, which has recently been applied to the study of mathematical conjectures. I will describe the framework at a high level and explain how it can be adapted to the rectilinear crossing number. I will then discuss results from this ongoing work. OpenEvolve was able to not only rediscover known optimal constructions for small complete graphs, but also improve upon a best known construction for a larger instance. I conclude by reflecting on the potential role of AI-assisted exploration in mathematics.

참가신청: https://forms.gle/xSzjqytGdTj4zyJX6

Math Seminar @ SNU https://sites.google.com/view/mssnume