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

AI 요약

오픈AI는 1일(현지 시간) 월스트리트저널(WSJ) 보도를 인용해 자사의 범용 추론 모델이 1946년 폴 에르되시가 제기한 단위 거리 추측(Unit Distance Conjecture)을 반박하는 증명을 도출했다고 밝혔습니다. AI는 기존의 정사각형 격자 배치가 최적이라는 가정 대신 고차원 공간에 점들을 배치한 뒤 이를 평면으로 압축·투영하는 고차원 사영 방식을 사용해 기존보다 훨씬 많은 단위 거리 쌍을 만들 수 있음을 구조적으로 증명했습니다. 연구진은 결과를 재검증했으며 티모시 가워스 등은 이번 해법을 AI 수학의 획기적 이정표로 평가했고, 보도에는 AI가 대수적 수론과 이산기하학을 접목하고 7만5000단어에 달하는 추론 과정을 거쳐 문제를 풀었으며 전직 오픈AI 연구원은 이 성과 도출에 약 32시간이 걸렸을 것이라고 추정했다고 전했습니다.