OpenAI: AI 모델이 이산기하학의 80년 된 추측을 반증하다

OpenAI는 2026년 5월 20일, AI 모델이 단위 거리 문제(unit distance problem)를 해결했다고 발표했습니다. 이는 이산기하학의 핵심 미해결 문제로, Paul Erdős가 1946년에 제시한 이래 80년 이상 미해결 상태였습니다. 회사는 이를 AI 시스템이 독창적인 구성으로 오랜 핵심 추측을 반증한 최초의 사례로 규정하며, 인간 수학자들이 이전에 제시한 명제를 단순히 검증하는 데 그치지 않았다고 강조했습니다.

단위 거리 문제란 무엇이며, 왜 80년간 미해결이었나?

이 문제는 “평면 위 N개의 점 집합에서 정확히 단위 거리만큼 떨어진 점 쌍이 최대 몇 개일 수 있는가”를 묻습니다. Erdős는 1946년에 하한을 증명했지만, 정확한 상한은 수십 년간 연구 대상이었습니다. 기존의 최선 추측은 함수의 특정 증가율을 주장했는데, OpenAI의 모델은 그 추정 상한을 초과하는 점 집합을 구성하여 해당 추측을 반증한 것으로 알려졌습니다.

이 결과는 기존 AI 수학 증명과 어떻게 다른가?

지금까지 AI의 수학 기여는 주로 기존 증명 검증(Lean, Coq, Isabelle 형식화)이나 이미 제시된 정리의 새 증명 발견(DeepMind AlphaProof, FunSearch)에 집중되어 있었습니다. OpenAI의 이번 결과는 다릅니다. 모델이 추측을 구성적으로 반증했으며, 이를 위해서는 기하학적 창의성이 요구됩니다——수학자들이 수십 년간 시도해 온 직관적 대칭 구성으로는 찾을 수 없었던 반례를 발견하는 창의성입니다.

동료 검토 현황은?

OpenAI는 자사 뉴스룸과 RSS 피드를 통해 이 결과를 발표했습니다. 발표 당시 전체 논문은 HTTP 403을 반환하여 세부 내용은 RSS 설명을 통해서만 확인 가능했습니다. 회사는 발표에서 수학 커뮤니티에 독립적 검증을 요청했습니다. Discrete & Computational Geometry 또는 Journal of Combinatorial Theory 등의 저널에 대한 공식 심사는 이번 발표에서 밝혀지지 않았습니다.

해당 분야에 어떤 의미가 있는가?

이 구성이 동료 검토를 통과한다면, 현재로서는 두 가지 함의가 있습니다. 첫째, AI 시스템이 주어진 증명을 수행하는 것을 넘어 수학적 진리를 자율적으로 발견하는 경계를 넘고 있다는 것. 둘째, 상용 AI 시스템의 발견 가능성 레이어가 새로운 수학적 결과의 원천이 될 수 있으며, 이에 따라 인용·귀속·저작권이 어떻게 변해야 하는지에 대한 의문이 제기됩니다. 이산기하학, 조합론, 정수론이 유사한 방법론의 다음 목표가 될 가능성이 가장 높습니다.