오픈AI가 현지 시각 10월 6일 내부 프런티어 모델이 미해결 수학 문제를 해결하며 작성한 원고를 깃허브 저장소로 공개했다. 저장소에는 원고 722편이 실려 있고, 관련 논문끼리 묶은 결과 계열은 372개다. 결과 계열은 핵심 결과와 보조 논증, 따름정리, 다른 증명을 한데 묶은 단위로, 각 계열은 수학 분야별로 분류돼 있다.
오픈AI는 기존 수학 평가에서 모델 점수가 한계에 이르자 미해결 연구 문제로 평가 범위를 확대했다고 설명했다. 평가 기간에 모델에 낸 문제는 약 4,000개다. 결과 대부분은 공개되지 않은 같은 내부 모델로 같은 절차를 거쳐 얻었고, 결과 하나에 챗GPT 프로의 3시간 분량 사고 연산이 평균적으로 쓰였다. 리만 제타 함수의 영점 없는 영역 연구와 CM 아벨 다양체의 호지 추측 증명은 이 절차를 따르지 않았고, 영점 없는 영역 원고 하나는 사람이 읽기 쉽게 다듬었다.
저장소에는 원주율의 무리수 지수와 말러 추측, 캐플런스키의 직접 유한성 추측 등 10개 결과에 대한 모델의 추론 요약도 실려 있다. 상당수 증명은 컴퓨터가 증명을 검사할 수 있는 프로그래밍 언어 린(Lean)으로 형식화돼 있지만 전부는 아니다. 오픈AI는 형식화되지 않은 결과 일부에 문제가 있을 수 있다며, 오류는 빠르게 고치고 수정본은 새 버전으로 기록해 이전 버전도 계속 열람할 수 있게 하겠다고 밝혔다.
오픈AI는 미국 고등연구소(IAS)의 독립 자문 그룹과 협의해 공개 방식을 정했다. 자문 그룹은 9월 29일 AI가 낸 수학 결과를 발표할 때의 공개 권고안을 내놨고, 오픈AI는 이 권고를 반영했다고 설명했다. 오픈AI는 커뮤니티가 운영하는 다른 공개 경로도 검토하고 있으며, AI가 낸 주요 결과를 이해하기 위한 워크숍과 학술대회를 지원할 계획이다. 결과를 만든 모델도 책임 있게 공개하는 방안을 준비하고 있다고 덧붙였다.
자세한 내용은 오픈AI에서 확인할 수 있다.
이미지 출처: 오픈AI
AI Matters 뉴스레터 구독하기
