OpenAI, 심층 수론으로 80년 된 기하학 난제 풀다

OpenAI는 추론 모델이 평면 단위거리 문제를 해결하는 데 도움을 줬다고 밝혔다. 이 문제는 에르되시 시절부터 이어진 유명한 이산기하학 난제다.

이 모델은 오랫동안 최적이라고 여겨진 정사각 격자 패턴보다 더 많은 단위거리 쌍을 만드는 점배치의 무한한 가족을 찾아냈다.

이후 수학자들이 증명을 정교화했고, 이 기하 문제를 클래스 필드 타워를 포함한 깊은 대수적 수론과 연결했다.

이번 성과는 AI-수학 분야의 큰 돌파구로 평가되며, 추론 모델이 정리 증명을 넘어 새로운 연구 아이디어를 낼 수 있음을 시사한다.