OpenAI, AI 수학 논문 722편 공개 후 3편 철회·14편 수정
OpenAI가 2026년 10월 6일 AI 보조 수학 연구 논문 722편을 공개한 뒤 오류가 발견돼 3편을 철회하고 14편을 수정했다. 수학자들은 결과의 신뢰성에 의문을 제기했다.
OpenAI가 2026년 10월 6일 AI를 활용한 수학 연구 논문 722편을 공개했다. 그러나 오류가 발견되면서 하루 만에 3편을 철회하고 14편을 수정했다고 ZDNet 코리아가 보도했다.
철회된 논문 중 한 편에는 계산에 잘못된 기호가 사용됐으며, 이를 기반으로 한 다른 2편도 함께 철회됐다. OpenAI는 나머지 14편에 대해서는 증명을 보완하거나 설명을 수정했다.
이번 연구에는 아직 공개되지 않은 독자적 AI 모델이 사용됐다. OpenAI는 대수학과 수리 논리학 등을 포함한 여러 분야에서 약 4,000개의 문제를 AI로 풀도록 시도했다. 남은 719편 중 300편(약 42%)에 대해서는 Lean을 이용한 컴퓨터 검증이 준비됐다. 전체 해법 과정 요약은 10편에 대해서만 공개됐다.
케임브리지대와 킹스컬리지런던 연구진은 나비에-스토크스 방정식 연구에 대해 OpenAI가 작성한 증명과 Lean 코드 사이에 적어도 두 가지 불일치를 발견했다. 프린스턴 고등연구소(Institute for Advanced Study)의 독립 수학·AI 자문 그룹은 OpenAI를 자문했지만 연구 결과나 출판 방식을 승인하지는 않았다.
한편 OpenAI는 지난달 나비에-스토크스 방정식과 관련된 문제를 해결했다고 주장한 바 있다.
한눈에 보기
OpenAI가 공개한 AI 수학 논문은 몇 편인가?
2026년 10월 6일 기준 722편이 공개됐으며, 이후 3편이 철회되고 14편이 수정됐다.
철회된 이유는 무엇인가?
한 논문에 계산에 사용된 잘못된 기호가 있었고, 이를 기반으로 한 다른 2편도 함께 철회됐다.
Lean 검증은 얼마나 이뤄졌나?
남은 719편 중 300편(약 42%)에 대해 Lean을 이용한 컴퓨터 검증이 준비됐다.