AI 수학 원고 719편 공개…연구 연결력 주목

오픈AI가 인공지능으로 작성한 수학 논문 초고 722편을 공개한 뒤 한국 수학자들은 AI가 기존 연구를 빠르게 활용하고 서로 다른 분야의 지식을 연결하는 능력을 보였다고 평가했다. 공개 다음 날 증명 오류가 확인된 초고 3편은 철회돼 현재 719편이 남아 있으며, 수학계의 검토가 이어지고 있다. 대수학·기하학·확률론 등 여러 분야의 결과를 담은 초고는 6일(현지시간) 깃허브에 올라왔다.

AI는 저온 셰링턴-커크패트릭 모형의 요동 법칙 문제에도 도전했다. 무수한 미세 자석이 무작위로 상호작용하는 상황을 나타내는 이 모형에서는 저온에서 자유에너지가 얼마나 변하는지 밝혀야 한다. KAIST 이지은 교수는 오랫동안 해법의 실마리도 없던 문제에 올해 7월 처음 해결 가능성을 보인 아이디어가 나왔으며, 오픈AI가 이를 발전시키면 풀 수 있다고 주장했다고 설명했다. 이 교수는 AI가 현재로서는 새 연구 방향을 독자적으로 내기보다 기존 아이디어와 성과를 효율적으로 활용하는 도구에 가깝다고 봤다.

서울대 서인석 교수는 연구자의 제한된 시간이 수학 연구의 실질적 병목이었다며, AI가 축적된 성과를 이용해 다음 단계에 필요한 시간을 줄일 수 있다고 평가했다. 한편 기초과학연구원 엄상일 CI는 공개된 결과에 오랜 수학적 추측을 반박하는 반례와 새 알고리즘도 포함됐다고 설명했다. 오픈AI는 같은 도형으로 3차원 공간을 채울 수 있어도 일정한 규칙으로 반복 배치할 수는 없는 사례를 제시해 주기적 타일링 추측을 뒤집었다고 주장했다. 성능이 같은 기계 세 대에 작업 순서를 지키며 여러 일을 배분하고 전체 시간을 최소화하는 알고리즘도 공개했다.

연구 활용에는 검증 가능한 형태로 결과를 전달하는 일이 과제로 남았다. 이 교수는 초고의 전개가 산만하고 표기가 어색한 곳이 많아 내용을 이해하고 확인하는 데 긴 시간이 들 수 있으며, 수백 편을 한꺼번에 검토해야 하는 학계의 부담도 커졌다고 지적했다. 서 교수는 AI가 참여한 논문에서 인간 연구자의 기여를 어떻게 평가할지 고민해야 한다며, 박사학위 심사와 박사후연구원·교수 채용, 종신재직 심사까지 평가 체계 전반에 영향이 미칠 수 있다고 봤다.