OpenAI는 공개되지 않은 내부 프론티어 모델이 작성한 수학 논문 722편을 GitHub에 공개했다. 논문은 372개 계열로 묶였고, 원고 파일과 함께 많은 항목에는 Lean 증명이 포함됐다. Lean은 컴퓨터가 증명을 한 줄씩 확인하는 언어라서, 사람이 해석에 의존하지 않고 결과를 점검할 수 있다. 이번 공개물은 약 4,000개 문제를 시도한 뒤 채택된 결과를 담고 있으며, 승인된 결과 하나당 평균적으로 ChatGPT Pro 수준의 추론 시간이 약 3시간 들었다고 설명됐다.
주제는 정수론, 복잡도 이론, 기하학, 수리물리학에 걸쳐 있다. 공개 시점은 앞서 OpenAI가 100개가 넘는 미해결 문제를 풀었다고 밝힌 뒤, 수학·AI 자문 그룹이 폐쇄형 모델로 고급 문제를 시험하는 방식에 동의하지 않는다고 지적한 흐름과 맞물린다. 이번 자료 공개는 결과를 외부가 직접 검토할 수 있게 하려는 대응으로 읽힌다. 다만 모든 논문에 Lean 증명이 있는 것은 아니고, OpenAI도 형식화되지 않은 일부 결과에는 문제가 있을 수 있다고 밝혔다. 특히 유명 난제를 다룬 원고는 수학자 검토 전까지는 돌파구가 아니라 검증 대상이다.