무슨 일이 있었나
2026년 10월 6일, OpenAI는 GitHub 저장소 openai/math에 미공개 내부 모델의 수학 결과를 공개했습니다. 372개 결과 계열, 722편 원고(철회 후 719). 약 4,000개 미해결 문제를 주었고 유지된 결과 하나당 평균 약 3시간의 ChatGPT Pro 사고가 들었다고 합니다. 주요 결과의 약 **42%**는 증명 언어 Lean으로 기계 검증됐고, 나머지는 사람·기계 확인 없이 공개됐습니다.
10월 7일, 부호 오류 하나로 원고 3편이 무효가 되어 철회됐고 14편이 수정됐습니다. IAS 자문 그룹은 모델·프롬프트·문제별 컴퓨트 공개를 권고했으나 이뤄지지 않았습니다. Association for Human Mathematics는 OpenAI와 협력을 중단하라고 촉구했습니다.
왜 중요한가
결과를 만드는 속도가 읽고 검증하는 속도를 앞질렀습니다. 엔지니어링으로 치면 리뷰 없이 PR 700개를 머지하는 것과 같습니다.
지금 할 일
- AI 출력 파이프라인에 검증 게이트(사람, Lean/테스트, 또는 둘 다)를 두세요.
- 기계 검증된 것부터 발표하세요.
- 빠른 철회는 건강한 신호로, 커뮤니티 반발은 평판 경고로 보세요.