오픈AI, 80년 수학 난제 풀었다..."AI 자율 해결 첫 사례"

AI 요약

오픈AI는 자사의 일반 범용 AI 모델이 폴 에르되시가 1946년에 제시한 '평면 단위 거리 문제'를 자율적으로 해결했다고 밝혔습니다. 이 문제는 평면 위 점들을 찍을 때 같은 거리만큼 떨어져 있는 점들의 짝을 최대 몇 개나 만들 수 있는지를 묻는 기하학의 숙제로, 그동안 수학계는 점들을 정사각형 격자 모양으로 배치하는 것이 최적이라는 에르되시의 추측을 정설로 믿어왔습니다. AI는 고차원의 복잡한 대칭 격자를 만든 뒤 이를 2차원 평면으로 투사하는 방식을 통해 기존 믿음이 틀렸음을 증명했고, 전문가들은 범용 대규모 언어 모델이 고차원적 증명을 끝까지 파고들어 결과를 냈다며 찬사하고 인간 수학자들이 이를 검증·후속 연구하면서 AI와 인간의 협력 시대가 열렸다고 평가했습니다.