OpenAI 수학 프로젝트, 부호 오류로 인해 세 편의 논문 철회

OpenAI의 수학 저장소, 세 편의 논문 철회 공지

OpenAI — 인공지능 연구소 — 는 2026년 10월 7일, 자체 오픈소스 수학 저장소에서 세 편의 논문을 철회한다고 공식 발표했다:

Algebraic … Weil … eightfolds – 부호 오류를 포함한 논문으로, 주요 정리의 안정화-트레이스 소거 논증과 두 개의 의존 논문에서 사용된 구성이 무효화되었다.
Algebraic … Kuga–Satake Correspondences for K3 Surfaces
The rational Hodge conjecture for products of K3 surfaces

철회 공지는 각 README README README README README README에 첨부되어 있다.

부호 오류는 주요 결과를 무효화하는 데 그치지 않고, 이를 기반으로 한 두 개의 다른 논문의 논리적 기반까지 약화시켰다. OpenAI가 세 편의 논문을 철회함으로써, AI가 생성한 수학 논문의 확장된 코퍼스 내에서 잘못된 정리가 퍼지는 것을 막았다.

세 편의 철회 외에도, OpenAI는 14편의 다른 논문을 수정하여 증명을 보완하고 가정을 명확히 하며 인용을 정정했다. 수정 내용은 네 가지 주제 그룹으로 나뉜다:

Lipschitz 높이와 Ashkin–Teller 전류 (4편) – 교차, 경계 부착, 조건부 처리, 수렴 논증을 보완하고 실수-Lipschitz 경계 증명에 대한 추가 작업을 수행했다.
카플러 최소 모델 프로그램과 부유성 (6편) – 양성 및 수축 논증을 확장하고 필요한 입력 가정을 명확히 했다.
제어 및 초대칭 변형 (2편) – 원뿔 등가 주장의 오류를 수정하고 엄격한 포함 예시를 추가하며 불필요한 원뿔 비교 의존성을 제거했다.
비압축성 박스 운반과 유한 계산 – 토러스 투영 및 공통 시계 추정을 재검토했다.
정확한 Birch–Swinnerton‑Dyer 공식 – 이미 철회된 지원 논문에 대한 오래된 인용을 제거했다.

이 수정 작업은 추가로 13건의 인용 업데이트를 유도하여 새로 수정된 동반 논문을 가리키도록 했다.

OpenAI는 여섯 편의 새로운 형식화와 다섯 편의 보조 결과를 추가하여, 저장소의 주요 정리에 대한 총 커버리지가 **719개 중 300개 ≈ 42 %**로 증가했다.

이 발표는 HN 사용자들 사이에서 활발한 논의를 촉발했다. 주요 논점은 다음과 같다:

"더 깊이 들여다보면, 많은 완전히 AI 생성된 증명들이 무너질 것이라고 생각합니다. Lean에서도 컴파일은 되지만 실제로 의도한 것과 다른 것을 주장하는 이론을 만들 수 있습니다." – ijustlovemath

"수학 커뮤니티가 이러한 문제를 지적하지 않았다면, 이 오류는 오랫동안 유지되었을 것입니다. 자동화된 수학에서 토우가 지적했듯이, 이런 커뮤니티는 위험에 처해 있습니다." – qoez

"약 400편 중 3편의 실수는 여전히 꽤 좋은 성과입니다." – hmate9

"권위에 의한 증명은 인간 수학자들이 실제로 코드를 실행하기 전까지는 통하지 않습니다. 다시 프롬프트 엔지니어링으로 돌아갑니다." – soltanov

"AI의 컴퓨팅 자원과 자원을 다 써도, 정당한 동료 검토가 끝나기 전까지 논문을 내보내는 것을 기다리지 못했나요? 단지 가치를 높이기 위해 PR 전술을 썼을 뿐이죠." – gt565k

비판자들은 AI 생성 증명의 엄청난 양이 전통적인 동료 검토를 뒤덮을 수 있다는 경고를 했고, 다른 이들은 0.75 %의 오류율이 인간이 작성한 수학과 비교해도 비슷하다고 주장했다.

투명성 – OpenAI가 철회 공지를 첨부하고 아카이브된 논문을 공개적으로 접근 가능하게 유지한 결정은 AI 생성 연구에서 투명성을 위한 전례를 세웠다.
형식적 검증 의존성 – 이 사건은 Lean이나 기타 증명 보조 도구를 통해 사소한 오류를 포착할 중요성을 강조한다. 이러한 오류는 비형식적 검토에서는 놓칠 수 있다.
커뮤니티 참여 – 논의는 대규모 AI 출력을 검증하는 데 있어 경계심 있는 수학 커뮤니티의 필수성을 다시 한번 부각시킨다.
미래의 리스크 관리 – AI 시스템이 기존 문헌을 감시하기 시작함에 따라, 철회 빈도는 증가할 수 있으며, 이는 체계적인 검증 파이프라인의 필요성을 강조한다.

위 정보는 OpenAI의 math/history.md 파일(2026년 10월 8일 커밋)과 발표에 연결된 최고 점수의 Hacker News 댓글에서 직접 인용되었다.*