breakinglog
2026년 10월 9일 확인: OpenAI가 공개한 수학 연구 원고 3편을 철회하고 다른 14편을 수정했습니다. 10월 6일 처음 공개한 722편 가운데 증명 오류와 그에 따른 연쇄 영향이 확인된 원고 3편을 제외해, 현재 공식 저장소에는 719편 원고와 372개 연구군이 남아 있습니다.
이는 “AI가 풀었다고 주장한 722개 문제가 모두 틀렸다”는 뜻이 아닙니다. 서로 의존하는 3편에서 증명 공백을 확인해 해당 원고를 철회한 것이며, 다른 원고의 신뢰성은 각각의 증명과 수정 이력, 독립 검증에 따라 판단해야 합니다.
철회된 원고는 어떤 것인가요?
OpenAI가 10월 7일 기록한 수정 이력에 따르면, 첫 번째 원고의 증명에서 부호(sign)를 잘못 다룬 오류가 발견됐습니다. 이 오류로 안정화 추적(stabilization-trace)의 상쇄를 이용한 논증이 성립하지 않았고, 그 구성을 전제로 작성한 다른 2편도 영향을 받았습니다.
- Algebraicity of Weil classes on split abelian eightfolds
- Algebraicity of Kuga–Satake Correspondences for K3 Surfaces
- The rational Hodge conjecture for products of K3 surfaces
원고를 철회했다는 것은 제시한 증명을 현재 형태로는 입증된 결과로 사용할 수 없다는 의미입니다. 해당 수학적 명제가 거짓이라고 증명됐다는 뜻과는 다릅니다. OpenAI는 철회된 원고의 README에 문제의 위치와 이전 원고로 연결되는 기록을 남겼다고 설명했습니다.
남은 원고도 그대로가 아닙니다…14편 수정, 13편 인용 갱신
OpenAI는 철회와 별개로 다른 원고 14편을 수정했다고 밝혔습니다. 수정에는 증명 단계의 보완, 정리의 조건과 서술 정정, 보조 결과에 관한 의존 관계 명확화, 낡은 인용 수정 등이 포함됩니다. 또한 관련 원고 13편은 수정된 동반 논문을 가리키도록 인용과 버전 정보를 갱신했습니다.
이 가운데 14편의 수정은 모두 같은 심각도의 오류라는 뜻이 아닙니다. 일부는 증명 보수와 조건 정정이고, 일부는 설명과 인용을 바로잡는 작업입니다. 연구자가 특정 정리를 사용하려면 최초 공개본의 문장만 복사하지 말고 해당 원고의 최신 버전과 수정 목록을 확인해야 합니다.
722편에서 719편…Lean 형식화 현황은 약 42%
공개 결과를 독립된 해결 문제 수로 오해하기 쉬워 숫자를 구분할 필요가 있습니다. 372개 연구군은 하나의 주제에 딸린 핵심 결과와 보조 논증, 대안 증명 등을 묶은 단위입니다. 원고 719편도 “완전히 검증된 미해결 문제 719개”를 의미하지 않습니다.
| 항목 | 확인된 내용 |
|---|---|
| 10월 6일 최초 공개 | 722편 원고, 372개 연구군 |
| 10월 7일 철회 | 증명 오류와 종속 영향으로 3편 철회 |
| 현재 목록 | 719편 원고, 372개 연구군 |
| 다른 원고 수정 | 14편, 추가로 관련 인용 갱신 13편 |
| Lean 형식화 | 공식 집계 300/719, 약 42% |
| 기타 자료 | 10개 결과의 축약 추론 요약과 원고별 PDF 및 소스 |
수정 과정에서 추가 형식화 6건과 지원 결과에 관한 추가 항목 5건도 공개됐습니다. OpenAI는 주요 결과의 Lean 형식화 현황을 300/719(약 42%)로 집계합니다. 나머지를 자동으로 거짓이라고 볼 수는 없지만, 형식화 여부나 공개 사실만으로 전체 연구 결과의 정확성이 인증됐다고 해석해서도 안 됩니다.
OpenAI 내부 모델은 무엇을 했고, 무엇이 아직 검증되지 않았나요?
10월 6일 OpenAI 발표와 저장소에 따르면, 연구 과정에서 비공개 내부 AI 모델에 약 4,000개 문제를 제시했습니다. 대부분의 결과는 결과 하나당 평균 약 3시간의 ChatGPT Pro thinking 연산에 해당하는 계산량을 사용했다고 설명합니다. 여기서 ChatGPT Pro는 연산량 비교 기준이지, 누구나 동일한 내부 모델에 접근할 수 있다는 뜻은 아닙니다.
OpenAI는 10개 결과의 축약 추론 요약을 원고 및 관련 자료와 함께 공개했습니다. 그러나 연구 결과의 검증 단계는 서로 다르며, 저장소 README에는 형식화되지 않은 원고에 오류가 있을 수 있다는 주의도 명시돼 있습니다. 수학계의 후속 검토, 논문별 재현, Lean 증명 여부를 구분해 볼 필요가 있습니다.
기존 나비에-스토크스 결과의 검증 범위도 구분해야 합니다
이번에 철회된 3편은 앞서 보도된 나비에-스토크스 연구와 별개입니다. 9월 공개된 OpenAI의 나비에-스토크스 결과는 매끄러운 외력이 있는 경우의 유한 시간 특이점에 관한 것으로, 외력이 없는 3차원 정칙성 문제 전체를 해결했다는 의미로 확대해서는 안 됩니다.
당시 Clay 수학연구소의 발표와 Scientific American의 후속 해설은 결과의 적용 조건과 인정 절차를 구분했습니다. 기존 연구의 가치를 논하더라도 이번 공개 원고의 철회 및 수정 여부와는 다른 기준으로 판단해야 합니다.
관심 있는 결과를 인용한다면 이렇게 확인하세요
저장소 첫 화면에서 현재 총원고 수와 안내를 확인한 뒤, CONTENTS.md 원고 목록에서 논문을 찾아보세요. 해당 원고 폴더의 README에는 수정본과 철회 공지, 과거 버전 링크, 인용 정보가 제공될 수 있습니다. 특히 10월 6일 배포본을 이미 인용했다면 history.md에서 10월 7일 변경 사항의 영향을 받는지 먼저 확인하는 것이 좋습니다.
이번 정정은 AI 수학 연구를 평가할 때 새 결과를 내는 능력과 결과를 검증하고 수정하는 과정을 함께 봐야 한다는 사실을 보여줍니다. 최신 원고 수는 719편이며, 각 논문의 증명 신뢰도와 학계의 독립 검증 여부는 개별적으로 확인해야 합니다.
