OpenAI의 내부 추론 모델이 80년 된 수학 미해결 난제를 스스로 풀어냈어요

OpenAI의 내부 추론 모델이 80년 된 수학 미해결 난제를 스스로 풀어냈어요.

1946년 수학자 폴 에르되시가 제시한 '단위 거리 문제'인데요. n개의 점을 평면에 배치할 때 정확히 거리 1인 쌍이 최대 몇 개 가능한지 묻는 문제예요. 지금까지 수학자들은 '정사각형 격자' 배열이 최적이라 믿었는데, AI가 이 통념을 깨는 무한한 예시 집합을 찾아낸 거예요.

수학에 특화 훈련되거나 증명 탐색용으로 설계된 시스템이 아닌, 범용 추론 모델이 해낸 거라는 점이 주목할 만해요. 필즈상 수상자 팀 가워스는 이를 'AI 수학의 이정표'라 표현했어요.