오픈AI, 수학 논문 3편 철회…부호 오류 하나가 증명 2편까지 흔들었다
오픈AI가 수학 연구 결과를 공개한 다음 날 논문 3편을 철회했다. 주요 결과 719건 중 컴퓨터로 증명을 점검한 것은 300건, 약 42%다.
2026년 10월 13일 화요일
오픈AI가 수학 연구 결과를 공개한 다음 날 논문 3편을 철회했다. 주요 결과 719건 중 컴퓨터로 증명을 점검한 것은 300건, 약 42%다.
컴퓨터로 검증할 수 있는 증명과 연구 과정 자료를 GitHub에 올렸다. 결과를 만든 모델도 공개를 준비 중이라고 밝혔지만, 출시일과 가격은 밝히지 않았다.