오픈AI 수학 원고 722편 공개…현재 719편 남아
제목 연관성·주요 수치·시장 영향·향후 전망을 기준으로 핵심 문장을 선별한 요약 브리핑입니다.
핵심 포인트
- 오픈AI가 공개한 수학 원고 722편 가운데 현재 저장소에는 719편이 남아 있다.
- 최상위 결과의 약 42%가 Lean으로 형식화됐지만, 전체 결과에 대한 수학계의 평가는 진행 중이다.
- 오픈AI가 공개한 수학 원고 722편 가운데 현재 저장소에는 719편이 남았다.
본문
오픈AI가 공개한 수학 원고 722편 가운데 현재 저장소에는 719편이 남아 있다. 최상위 결과의 약 42%가 Lean으로 형식화됐지만, 전체 결과에 대한 수학계의 평가는 진행 중이다. 오픈AI가 공개한 수학 원고 722편 가운데 현재 저장소에는 719편이 남았다. 오픈AI는 공개문에서 10월 6일 내부 프런티어 모델이 만든 수학 연구 결과를 공개했다고 밝혔다. 공개 저장소는 원고 722편을 372개 결과군으로 묶었고, 모델에 약 4000개의 문제를 제시했다고 설명한다. 저장소 변경 이력에는 원고 3편 철회와 14편 수정이 기록됐다. 오픈AI 저장소는 현재 최상위 결과의 약 42%가 형식화됐다고 밝힌다. 오픈AI는 공개문에서 독립 자문그룹의 권고를 참고했고, 원고 수정·인용 절차와 일부 방법 정보를 저장소에 올렸다고 설명했다.
수학·인공지능 자문그룹(AGMAI)은 10월 6일 입장에서 이번 공개가 결과를 이해하고 수학 지식에 반영하는 과정의 시작이라고 밝혔다.
자문그룹은 오픈AI와 논의했다는 사실이 결과의 영향력을 판단하거나 공개 절차를 보증한다는 뜻은 아니라고 선을 그었다. 오픈AI가 원고 722편을 공개했을 당시에도 일부 증명만 Lean으로 형식화됐고, 전체 결과가 검증을 마친 것은 아니었다. 이번에 확인된 변화는 공개 이후 이어진 원고 철회·수정과 일부 증명의 형식화다.