OpenAI는 「Algebraicity of Weil classes on split abelian eightfolds」에서 부호 오류가 발견돼 이 논문과 이에 의존하는 논문 2편을 철회했다고 밝혔다. 오류는 안정화-대각 합(trace) 상쇄 논증과 그에 사용된 구성을 무효화한다고 설명했다.

철회한 논문은 「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편의 증명을 수정하거나 명제를 바로잡고, 가정과 결과 간 의존 관계를 명확히 했다고 밝혔다. 또 동료 논문 개정판을 인용하도록 13편을 추가로 갱신했다. Lean 형식화는 6건 추가됐으며, 보조 결과도 5건 추가됐다. 저장소는 주요 결과 719개 가운데 300개를 형식화해 비율이 약 42%라고 기록했다.

변경 내역은 OpenAI 수학 저장소의 병합된 변경 사항과 변경 기록에서 확인할 수 있다. 저장소 안내에 따르면 현재 목록에는 719편의 원고가 372개 계열로 정리돼 있으며, Lean 형식화가 모든 원고에 제공되는 것은 아니다.