수학계 80년 난제 풀어낸 AI, 생각의 ‘차원’이 달랐다

AI 요약

오픈AI는 자사의 범용 추론 모델이 1946년 폴 에르되시가 제기한 단위 거리 추측(Unit Distance Conjecture)을 반박하는 증명을 도출했다고 월스트리트저널(WSJ)이 보도했습니다. AI는 평면 격자 대신 고차원에 점을 배치한 뒤 이를 평면으로 투영하는 고차원 사영 방식을 통해 기존의 격자 정렬보다 훨씬 많은 1cm 거리 쌍을 만들 수 있음을 구조적으로 증명했습니다. 오픈AI 연구원들은 코딩 에이전트와 외부 전문가로 작업을 재검증했으며, 연구자들은 AI가 새로운 전략 실험, 대수적 수론과 이산기하학의 접목, 7만5000단어에 달하는 장시간 추론(전직 연구원은 약 32시간 추정) 등을 통해 난제를 풀었다고 설명했고, 티모시 가워스 교수는 이를 AI 수학의 획기적 이정표라고 평가했습니다.