OpenAI는 첫 번째 논문의 증명에서 기호 오류를 발견한 뒤 공개 수학 논문집에서 서로 연관된 원고 3편을 철회했다. 회사의 저장소 기록에는 10월 7일 항목에 다른 원고 14편의 수정과 추가 13편의 참고문헌 업데이트도 기록돼 있다. 철회 공지 3건은 모두 10월 6일자로 작성됐다. 공지는 증명에 공백이 있다고 밝힐 뿐 수학적 주장을 반증하지는 않는다.

큰 변화

  • 무엇이 바뀌었나: OpenAI는 원고 3편을 철회 공지로 대체했다. 회사에 따르면 기호 오류 하나가 첫 논문에서 사용한 소거 단계와 나머지 두 논문이 의존한 구성의 토대를 무너뜨렸다.
  • 왜 중요한가: 이 구체적인 주장들을 인용하거나 토대로 삼는 사람은 이제 정확한 공지와 검토할 수 있는 보관본을 갖게 됐다. 원래 증명이 공개됐다는 이유만으로 그 결과가 확립됐다고 볼 수는 없다.
  • 앞으로 볼 점: 저장소는 이전 버전을 보존하고 수정 내역을 기록하겠다고 약속한다. 독립적인 검토에서는 수정된 각 주장과 증명을 따로 살펴야 한다. 변경 기록만으로는 논문집의 나머지 부분이 타당하다고 확인할 수 없다.

증명이 멈춘 지점

첫 번째로 철회된 논문인 「 Algebraicity of Weil classes on split abelian eightfolds」은 특정한 아벨 다양체 설정에서 대수성 결과를 확립한다고 주장했다. 해당 철회 공지 는 논문 자체의 부호 있는 이중점 규약에 따라 문제를 설명한다. 증명은 다음을 세는 것으로 시작했다. -m, 여기서 m 는 양수다. 각 m 역안정화 자취에 부호 +1를 부여해 개수가 0으로 상쇄되는 것처럼 보였다. OpenAI는 이제 표준 첨점의 두 가지 가지가 서로 반대인 원천 방향을 가지므로 각 자취의 부호가 -1 라고 말한다. 이 설명에 따르면 개수는 0이 아니라 -2m,가 된다.

그 단계에서 적용한 소거 정리는 부호가 있는 이중점 개수가 0이어야 한다. OpenAI는 그러므로 이 증명이 이후의 방향 수술 및 매장 브레인 구성의 근거가 되지 못하고 논문이 주장한 정리도 확립하지 못한다고 밝혔다. 공지는 정리의 진술이 거짓이라고 말하지는 않는다.

나머지 두 공지는 그 구성의 변형에서 문제가 비롯됐다고 설명한다. OpenAI는 「 Algebraicity of Kuga–Satake Correspondences for K3 Surfaces 」의 대수성 정리 주장이 여전히 증명되지 않았다고 밝혔다. 「 The rational Hodge conjecture for products of K3 surfaces 」에 대한 공지도 사영 K3 곡면들의 곱에 관한 해당 논문의 정리 주장이 증명되지 않았다고 설명한다. 기록 파일이 지목한 원고는 이 세 편이며, 공지는 논문집의 무관한 결과들을 철회 대상으로 지정하지 않았다.

각 공지는 저장소 리비전 adc7f1241b42e322a6451854ab7e4b4c146bf78a에 있는 철회 전 PDF를 연결한다. BIG CHANGE는 공지 세 건의 링크와 연결된 보관 PDF를 확인했다. 이는 공개 문서를 살펴본 것이지, 논증에 대한 수학적 심사나 Lean 증명 검증을 한 것은 아니다.

더 넓은 수정, 더 제한적인 결론

같은 10월 7일 기록 항목에서 OpenAI는 다른 원고 14편을 수정했다고 밝혔다. 여러 분야에서 증명을 고치고 주장, 가정, 의존성을 변경했으며 오래된 인용 하나를 수정했다고 설명했다. 해당 항목에 따르면 추가 13편에는 수정된 관련 판본을 가리키는 참고문헌이 업데이트됐다. OpenAI는 형식화 6건이 추가돼 형식화된 최상위 결과가 719개 중 300개, 약 42%가 됐다고도 전했다.

이 수치는 저장소 업데이트에 관한 OpenAI의 설명을 나타낸다. 수정된 논증의 타당성을 측정하지 않으며 형식화된 원고의 모든 주장이 검증됐다는 뜻도 아니다. 저장소의 README 도 논문집의 작업물이 서로 다른 검증 단계에 있으며 일부 비형식화 결과에는 문제가 있을 수 있다고 경고한다. 보도 기간에 우리는 이 구체적인 기호 오류와 이에 의존하는 증명들을 다룬 시의적절한 독립 수학 평가를 찾지 못했다.

10월 6일 공개로 AI가 작성한 대규모 원고 모음이 세상에 나왔다. 앞서 진행한 저장소 조사 는 버전을 고정하는 방법과 원고를 형식 증명 산출물과 구분하는 법을 설명한다. 또 앞선 연구 검토 역량에 관한 논평 은 이 정도 규모의 공개물을 평가하는 데 필요한 작업을 다뤘다. 이번 철회 기록은 그 구분을 유지해야 하는 구체적인 이유를 제공한다. 이 세 논문에서 OpenAI는 실패한 증명 단계를 밝히고 이전 PDF를 계속 볼 수 있게 했다. 향후 증명이 이들 주장 중 하나라도 확립할 수 있을지는 여전히 열린 수학 문제다.

출처 및 추가 읽을거리

OpenAI의 저장소 기록 은 2026년 10월 7일 항목에 철회 3건, 원고 수정 14건, 관련 참고문헌 업데이트 13건과 형식화 수를 기록했다. 각 논문의 바일류, 쿠가–사타케 및 K3 곱의 호지 추측 공지는 주장된 공백을 설명하고 철회일을 10월 6일로 표시하며 특정 리비전의 보관 PDF로 연결한다. 이는 OpenAI의 기록으로 회사가 무엇을 공개했는지에 관한 직접 증거이지, 증명에 대한 독립적인 검토는 아니다.

OpenAI의 10월 6일 발표 는 최초 공개와 계획된 추가 내용을 설명한다. BIG CHANGE는 10월 8일 현재 기록 파일, 공지 세 건과 보관 링크를 살펴봤다. Lean을 실행하거나 수정된 원고를 모두 검토하거나 수학을 독립적으로 검증하지는 않았다.