오픈AI가 AI 수학 논문 3편 철회, 원인은 부호 하나

무슨 일이에요?

오픈AI가 미공개 내부 모델로 만든 수학 원고 모음을 깃허브에 공개한 뒤, 첫 업데이트에서 원고 3편을 철회했어요. 같은 업데이트에서 다른 원고 14편도 증명을 고쳤고요.¹

그런데 철회 이유는 큰 착각이 아니라 부호 하나였어요. 한 논문에서 부호를 거꾸로 셌고, 그 논문을 바탕으로 쓴 원고 2편까지 함께 내려갔어요.

무엇이 철회됐나요?

• 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¹

첫 번째 논문의 부호 오류 때문에 핵심 상쇄 논증이 성립하지 않았어요. 나머지 두 편은 그 논문의 구성을 가져다 쓴 원고였고요.¹ 철회된 원고에는 어디가 비었는지 설명하는 공지와 철회 전 원고 보관본 링크가 붙었어요.

얼마나 고쳤나요?

• 다른 원고 14편: 증명 보완, 명제 수정, 가정 명확화, 낡은 인용 1건 수정¹
• 13편: 고친 원고를 인용하도록 참고문헌과 날짜만 바꿈¹
• Lean 형식 증명 6개와 보조 결과 5개 추가¹

Lean은 사람이 쓴 증명을 컴퓨터가 한 줄씩 검사할 수 있게 바꿔 주는 증명 검사 프로그램이에요. 이번 업데이트로 핵심 결과 중 Lean 검증이 붙은 비율은 719편 중 300편, 약 42%가 됐어요.¹ 목록에 남은 원고는 719편, 372묶음이에요.²

주의할 점은요?

• 철회 공지에는 이번 철회가 증명에 관한 것이고, 수학적 명제 자체가 거짓이라는 뜻은 아니라고 적혀 있어요.³
• 저장소 소개글에는 처음부터 형식 검증이 안 된 결과 일부에 문제가 있을 수 있고, 빨리 고치겠다는 문장이 있었어요.²
• 나머지 원고 약 58%는 아직 Lean 검증이 붙지 않았어요.

왜 중요해요?E:LAB 해석

AI가 수학 원고를 한꺼번에 수백 편 내놓는 건 이제 가능해졌어요. 이번 업데이트가 보여 주는 건 그다음 단계예요. 몇 편을 냈는지보다, 사람과 검사 프로그램의 확인을 몇 편이 버티는지가 진짜 성적이 되고 있어요.

오픈AI가 틀린 원고를 지우지 않고 공지와 보관본을 남긴 것도 눈여겨볼 점이에요. 고친 과정을 그대로 남겨야 다른 연구자가 믿고 확인할 수 있으니까요.

나는 뭘 하면 돼요?

AI가 쓴 증명이나 분석을 인용할 일이 있다면, 형식 검증이나 사람 검토가 붙었는지부터 확인하세요. openai/math 저장소의 history.md에 무엇이 바뀌었는지 날짜별로 정리돼 있어요.