OpenAI가 내부 모델이 쓴 수학 논문 722편을 한꺼번에 공개했다, 독립 검증은 아직이다

OpenAI가 10월 6일 아직 공개하지 않은 내부 모델이 쓴 수학 논문 722편을 GitHub에 올렸다. 결과 372묶음, 17개 수학 분야에 걸쳐 있고 말러 추측, 리만 제타 영점, 유니크 게임 추측 같은 문제를 다룬다. 결과 하나당 ChatGPT Pro 사고 시간으로 평균 3시간쯤 썼고, 약 4,000개 문제를 시험했다고 한다. 9월 21일 OpenAI는 이 모델이 100개 넘는 미해결 문제를 풀었다고 밝혔고, 프린스턴 고등연구소(IAS)에 독립 자문단을 꾸렸다. @OpenAI의 공지는 좋아요 6천 5백 개를 넘겼다.

검증 상태는 이렇다. 372묶음 가운데 235묶음(63%)에만 Lean 형식 증명 안내가 붙어 있고, 형식 검증 표에는 '부분 진행'과 '미확인'이 남아 있다. OpenAI도 형식화하지 않은 결과에는 오류가 있을 수 있다고 적었다. 외부 수학자가 전체를 검토해 맞다고 확인한 기록은 아직 없다. 추론 요약 202쪽은 모델이 스스로 점검한 과정을 보여 주지만 독립 검증은 아니다.