OpenAI: AI 모델이 이산기하학의 80년 된 추측을 반증하다
OpenAI는 자사 AI 모델이 단위 거리 문제(unit distance problem)를 해결했다고 발표했습니다. 이 문제는 Paul Erdős가 1946년에 제시한 이래 80년 이상 미해결 상태였던 이산기하학의 핵심 추측입니다. 회사는 이 결과를 AI 주도 수학 연구의 이정표로 설명하며, 모델이 기존 명제를 검증한 것이 아니라 반례를 직접 구성하여 추측을 뒤집었다고 밝혔습니다.