OpenAI, 수학 논문 3편 철회…부호 오류 발견

핵심 요약

• OpenAI가 수학 논문 저장소에서 3편의 논문을 철회했다.
• 'Algebraicity of Weil classes on split abelian eightfolds' 논문에서 발견된 부호 오류가 안정화-추적 소거 논증과 다른 논문 2편이 의존하던 구성을 무효화했다.
• 철회된 3편은 'Algebraicity of Keil classes on split abelian eightfolds', 'Algebraicity of Kuga–Satake Correspondences for K3 Surfaces', 'The rational Hodge conjecture for products of K3 surfaces'이다.
• 철회된 논문들에는 오류를 설명하는 공지와 보관된 원고 링크가 붙었다.
• 동시에 14편의 다른 논문을 개정했으며, 증명 수정, 명제 정정, 가설 명확화, 의존성 검토 등을 진행했다.
• 'Lipschitz heights and Ashkin–Teller currents' 관련 4편은 교차·경계·조건화·수렴 논증을 수정했고, 'Kähler minimal model programs and abundance' 관련 6편은 양성성 및 축약 논증을 확대하고 가설을 명확히 했다.
• 'Taming and hypersymplectic deformation' 2편은 원뿔 동등성 주장을 정정하고 예시를 추가했으며, 두 편의 다른 논문도 각각 토러스 사영·공통 시계 추정과 인용 제거를 개정했다.
• 이러한 수정의 결과로 13편의 추가 논문이 동료 논문의 개정판을 인용하도록 업데이트되었다.
• 새로 6개의 형식화 증명과 5개의 추가 자료를 공개했으며, 상위급 결과의 형식화 비율을 719개 중 300개(약 42%)로 높였다.