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