OpenAI, AI 수학 원고 722편 공개…검증 상태 함께 제시

OpenAI가 미공개 내부 AI 모델이 작성한 수학 연구 원고 722편과 증명 자료를 공개했다. 공식 블로그와 GitHub 저장소에 따르면 관련 원고는 372개 묶음으로 정리됐으며, 검증 단계가 서로 다르고 모든 결과에 형식 증명이 제공된 것은 아니다.

공개 저장소 ‘openai/math’에는 원고 PDF와 소스 파일, 인용·빌드 안내, 일부 증명의 Lean 형식화 자료가 담겼다. Lean은 수학적 주장을 컴퓨터가 검사할 수 있는 형태로 표현하는 프로그래밍 언어이자 증명 도구다. OpenAI는 형식화가 추가로 완료되는 대로 저장소를 갱신하겠다고 밝혔다.

원고 수와 독립적인 연구 결과의 수는 구분해야 한다. 저장소가 사용하는 ‘묶음’은 주요 결과와 보조 논증, 후속 결과, 대안 증명 등 서로 관련된 원고를 모은 단위다. 따라서 공개된 원고 722편을 서로 다른 난제 722개의 해결로 해석할 수는 없다.

OpenAI는 기존 수학 평가에서 성능이 포화되자 미해결 연구 문제를 대상으로 평가를 넓혔다고 설명했다. 평가 과정에서 모델에 제시한 문제는 약 4,000개다. 대부분의 결과는 같은 절차로 얻었고, 결과 한 건당 평균 계산량은 해당 내부 모델로 ChatGPT Pro의 사고 기능을 약 3시간 사용하는 수준이었다고 회사는 밝혔다. 이는 계산 자원의 추정치로, 연구 전체에 걸린 시간이나 일반 사용자에게 제공되는 모델의 성능을 뜻하지 않는다.

공개 자료에는 모델의 추론을 축약한 요약 10건도 포함됐다. OpenAI는 원고 수정과 인용을 위한 절차를 마련하고, 정정·개정본을 새 버전으로 기록하면서 이전 공개본도 유지하겠다고 했다. 다만 저장소는 결과별 검증 단계가 다르며, 형식화되지 않은 일부 결과에는 문제가 있을 수 있다고 명시했다. 원고 공개 자체가 모든 증명의 정확성이나 학술지 동료심사 완료를 뜻하는 것은 아니다.

이번 공개 방식에는 독립적인 수학·AI 자문그룹 AGMAI의 권고가 반영됐다고 OpenAI는 설명했다. 자문그룹은 9월 29일 공개한 권고문에서 선행 연구 인용, 정확한 정리와 증명 서술, 계산 과정과 비용 공개, 가능한 범위의 형식화를 요구했다. 사람의 이해가 아직 뒤따르지 않은 결과를 내놓는 연구소에는 그 이해를 돕기 위한 지원 책임도 있다고 밝혔다.

자문그룹의 권고가 비공개 모델을 이용한 수학 연구에 대한 지지를 의미하는 것은 아니다. 권고문은 과학계가 접근할 수 없는 독점 모델로 고급 수학 문제를 시험하는 관행을 지지하지 않는다고 명시했다. 또 AI 연구소가 통제하지 않는 학술 저장소에 결과를 보관하고, 수학 결과를 모델 홍보 수단으로 삼지 말 것을 권했다. OpenAI는 이번에는 GitHub로 자료를 공개하되 커뮤니티가 운영하는 대안 저장소도 검토하고 있다고 밝혔다.

회사는 AI가 산출한 주요 결과를 이해하기 위한 워크숍·학회·특별 프로그램에 자금을 지원할 계획이라고 했다. 결과를 만든 내부 모델의 공개도 준비 중이라고 설명했지만, 이번 발표에는 구체적인 공개 일정이 제시되지 않았다. 연구 원고와 검증 자료의 공개, 모델 자체의 공개는 별개의 단계다.

출처: OpenAI 공식 블로그, Sharing AI progress in mathematics
https://openai.com/index/sharing-ai-progress-in-mathematics/
OpenAI 공식 GitHub 저장소, openai/math 및 Lean 문서
https://github.com/openai/math
https://github.com/openai/math/blob/main/lean/README.md
AGMAI 공식 권고문, Responsible Release of AI-Generated Mathematics
https://agmai.org/general-sep29/