오픈AI가 미공개 AI 모델로 쓴 수학 논문 722편 대거 공개함 ㄷㄷ

요약 오픈AI가 미공개 내부 AI 모델을 활용해 난제급 수학 문제들을 연구하고 증명한 결과물을 깃허브(GitHub) 저장소를 통해 대규모로 공개했습니다. 오픈AI 측 설명에 따르면 기존 수학 평가 벤치마크 점수가 포화 상태에 도달하자, 모델 개발 과정의 일환으로 미해결 수학 연구 문제들을 직접 풀게 하는 방식으로 평가를 확장했다고 밝혔습니다. 이번에 공개된 카탈로그는 수학 세부 분야별 372개 패밀리로 분류된 총 722편의 논문(원고)으로 구성되어 있습니다. 각 패밀리는 주요 증명 결과와 후속 논의, 대체 증명 등을 묶어 정리했으며, 깃허브에는 PDF 프리프린트와 소스 파일, 린(Lean) 대화형 정리 증명기 기반의 형식 검증 파일들이 함께 포함되었습니다. 특히 파이(π)의 무리수도(irrationality exponent), 말러 추측, 양자 하이젠베르크 강자성체 자발 자화, 3차원 상대론적 블라소프-맥스웰 방정식 등 고난도 수학·물리 연구 주제에 대한 모델의 핵심 추론 요약본도 함께 정리되었습니다. 결과물 도출 과정도 구체적으로 공개되었습니다. 미공개 내부 모델에 약 4,000개의 연구 문제를 제시한 뒤, ChatGPT Pro 기준 평균 3시간 분량의 추론 연산(thinking compute)을 투입하는 동일한 절차를 거쳤습니다. 다만 리만 제타 함수의 비영점 영역이나 CM 아벨 다양체에 대한 호지 추측 연구 등 일부 예외적인 케이스도 존재하며, 리만 제타 함수 원고는 가독성을 위해 사람이 직접 편집을 거쳤다고 밝혔습니다. 오픈AI는 현재 모든 원고가 Lean으로 완전 검증된 것은 아니며 오류가 있을 수 있으나 지속적으로 업데이트 및 수정을 이어갈 방침입니다.