OpenAI, 부호 오류로 수학 논문 3편 철회 및 14편 개정

OpenAI가 openai/math 저장소에서 세 편의 수학 논문을 철회했다. 오류는 **"Algebraicity of Weil classes on split abelian eightfolds"**에서 발생했으며, 부호 실수로 인해 안정화-추적 상쇄 논증과 두 편의 의존 논문에 사용된 구성이 무효화됐다.

철회된 논문

다음 세 편의 논문이 철회되었으며, 해당 공백을 설명하는 안내문이 추가됐다:

• 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는 증명 복구, 진술 수정, 명확한 가설 제시를 위해 14편의 다른 원고를 개정했다. 주요 업데이트 내용은 다음과 같다:

• Lipschitz heights and Ashkin–Teller currents (4편): 교차, 경계 부착, 조건화, 수렴 논증 복구.
• Kähler minimal model programs and abundance (6편): 양의성 및 축소 논증 확장.
• Taming and hypersymplectic deformation (2편): 원뿔 등가성 주장 수정 및 불필요한 의존성 제거.
• Incompressible Box Transport and Finite Computation: 토러스 투영 및 공통 시계 추정치 개정.
• Exact Birch–Swinnerton-Dyer Formula: 구식 인용문 제거.

이에 따라 13편의 추가 원고가 개정된 동반 논문 버전을 인용하도록 업데이트됐다.

형식화 진행 상황

OpenAI는 보조 결과를 포함해 6개의 형식화와 5개의 기타 추가 사항을 도입했다. 이로써 최상위 결과의 형식화 비율은 **300 / 719 = 약 42%**로 집계됐다.