# 증명 오류 발견에 OpenAI 수학 논문 3편 철회

> OpenAI는 2026년 10월 7일 부호 오류로 핵심 논증이 무효가 된 대수기하학 논문 3편을 철회한다고 발표했다.

Oossa · 2026-10-08 · https://oossa.com/ko/openai-pulls-three-math-papers-after-proof-error-discovered

OpenAI는 핵심 증명에서 부호 오류가 발견돼 수학 프리프린트 논문 3편을 철회한다고 밝혔다. 이 오류로 안정화-트레이스 상쇄 단계가 성립하지 않으며, 해당 결과를 바탕으로 작성된 후속 논문 2편의 논증도 흔들리게 됐다. 철회된 논문은 다음과 같다.
• 분할 아벨 8차원 다양체에서의 바일류 대수성
• K3 곡면에 대한 구가–사타케 대응의 대수성
• K3 곡면 곱에 대한 유리 호지 추측
OpenAI는 논문에 공지문을 추가하고 보관된 버전으로 연결해 독자들이 오류가 있는 부분을 확인할 수 있도록 했다.

## 그 밖에 바뀐 내용은?

OpenAI는 논문 철회와 함께 다른 원고 14편도 수정했다. 수정 사항은 증명의 공백을 메우고, 가정을 명확히 하며, 인용을 바로잡는 내용이다. 리프시츠 높이, 켈러 최소 모형 프로그램, 초쌍곡 변형 등이 수정 대상에 포함됐다. 관련 연구의 개정판을 인용하도록 논문 13편도 추가로 업데이트했다. 또 새로운 형식화 6건을 추가해, 주요 결과 가운데 형식 검증을 마친 결과의 비중은 약 42%(719개 중 300개)가 됐다.

## 팩트

- 철회는 2026년 10월 7일 발표됐다.
- 부호 오류로 안정화-트레이스 상쇄 논증이 무효가 돼 논문 3편이 철회됐다.
- OpenAI는 다른 원고 14편을 수정하고, 논문 13편의 인용도 업데이트했다.
- 새로운 형식화 6건이 추가돼 형식화된 결과가 전체의 약 42%로 늘었다.
- 철회된 논문에는 보관된 버전으로 연결되는 공지문이 표시된다.

## 왜 중요한가

OpenAI의 형식 검증 연구를 지켜보는 수학자들에게 이번 철회는 문헌에 공백이 생겼다는 뜻이며, 해당 논문 3편의 결과를 인용한 연구에도 영향을 미칠 수 있다. 독자들은 이제 오류가 발생한 지점을 확인하고 잘못된 증명을 바탕으로 후속 연구를 진행하지 않을 수 있다. 한편 수정된 논문 14편과 새 형식화는 OpenAI 수학 라이브러리의 신뢰도를 높이는 데 기여한다.

## 출처 및 참고 자료

1. [OpenAI Withdraws 3 Math Papers](https://github.com/openai/math/blob/main/history.md) – Hacker News, 2026-10-08
2. [OpenAI’s math solutions aren’t meeting the field’s standards yet](https://techcrunch.com/2026/10/08/openais-math-solutions-arent-meeting-the-fields-standards-yet/) – TechCrunch, 2026-10-08
3. [Some mathematicians call for OpenAI boycott after AI-generated proofs flood their field](https://the-decoder.com/some-mathematicians-call-for-openai-boycott-after-ai-generated-proofs-flood-their-field/) – The Decoder, 2026-10-08
4. [OpenAI withdraws three mathematical results](https://twitter.com/danintheory/status/2108065033070789090) – Hacker News, 2026-10-08

최종 업데이트: 2026-10-08