OpenAI, 수학 증명 검증 도중 논문 3편 공식 철회

요약 OpenAI의 연구원 댄 로버츠(Dan Roberts)가 X(구 트위터)를 통해 공개 깃허브 수학 저장소(math repo)의 대규모 업데이트 소식을 전했습니다. 이번 업데이트에서는 수학 증명 보조 도구인 Lean을 통한 신규 공식화 6건, 기존 내용 수정 19건과 함께 기존에 제출되었던 논문 3편의 철회(withdrawals) 사실이 공식 기록되었습니다. 이로써 해당 저장소의 핵심 주요 결과물 중 약 42%가 형식 검증(formalized)을 마친 상태가 되었습니다. 철회된 3편의 논문은 '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' 등 고난도 현대 수학 분야의 연구 결과들입니다. 로버츠 연구원은 앞으로도 새로운 공식화 결과를 계속 추가하는 한편, 오류나 정정 사항이 발견되는 즉시 투명하게 업데이트할 것이라고 덧붙였습니다. 학계에서는 통상 연구 오류나 철회를 쉬쉬하기 쉬운 분위기 속에서 대형 연구소가 철회 사실을 공식 깃허브에 투명하게 공개한 점에 주목하고 있습니다.