오픈AI 수학 결과 372개 묶음 공개…학계는 검증·활용성 주시

오픈AI가 내부 인공지능 모델이 만든 수학 연구 원고 722편을 372개 결과 묶음으로 공개했다. 수학계에서는 결과의 규모와 잠재력에 주목하면서도 각 증명의 검증 상태와 후속 연구에 쓸 수 있는지를 따져야 한다는 목소리가 나온다.

오픈AI는 6일 공개한 자료에서 결과를 깃허브 저장소에 게시하고 일부 증명에 컴퓨터 검증용 언어인 Lean 형식화를 함께 제공한다고 밝혔다. 저장소는 결과마다 검증 단계가 다르며 모든 원고에 Lean 형식화가 있는 것은 아니라고 명시했다. 형식화되지 않은 결과에는 오류가 있을 수 있다는 설명도 덧붙였다.

이번 공개는 지난달 발표된 나비에·스토크스 문제 관련 연구와 별개의 대규모 자료 공개다. 수백 개의 원고와 결과 묶음을 전부 ‘검증된 난제 해결’로 묶어 표현하기는 어렵다. 오픈AI는 논문 수정과 인용을 위한 절차를 마련하고 추가 검증 자료를 게시하겠다고 했다.

YTN은 10일 수학자들의 평가를 전했다. 김상현 고등과학원 교수는 일부 결과의 수학적 무게가 크다고 평가했고, 백형렬 카이스트 AI수학대학원장은 연구자들이 증명을 이해하고 다음 연구에 활용할 수 있을지가 중요하다고 짚었다. 증명의 정확성과 기존 연구자의 기여를 둘러싼 논의도 이어지고 있다.

공개된 원고는 학계가 개별적으로 검토해야 할 연구 자료다. 이번 공개만으로 372개 난제가 모두 해결됐다고 확정할 수는 없다.