오픈AI 수학 원고 722편 공개…372개 성과군으로 분류

오픈AI가 내부 모델이 만든 수학 원고 722편을 공개한다고 밝혔다. 원고는 372개 성과군으로 묶였으며, 일부 증명만 Lean으로 형식화됐다.

오픈AI는 X에 내부 프런티어 모델이 만든 수학 성과를 공개한다고 밝혔다. 연구 결과는 GitHub 저장소에 올렸으며, 공개 방식은 수학·인공지능 자문 그룹인 프린스턴 고등연구원의 권고를 참고해 마련했다고 설명했다.

저장소의 성과군은 주요 결과와 관련 논증, 파생 결과 또는 대안 증명을 묶은 단위다. 오픈AI는 모델의 추론 요약과 시도한 문제 수 등 결과를 얻기까지의 정보도 공개했다.

원고 722편이 모두 검증된 수학적 발견을 뜻하는 것은 아니다. 오픈AI는 일부 증명을 Lean으로 형식화했지만 전체 결과가 형식 검증을 마친 것은 아니며, 형식화되지 않은 결과에는 문제가 있을 수 있다고 밝혔다. 확인되는 문제는 수정하겠다고 덧붙였다.

오픈AI는 형식화되지 않은 일부 결과에 문제가 있을 수 있다고 밝혔으며, 저장소를 후속 업데이트할 계획이라고 전했다.