OpenAI의 추론 모델, 이산 기하학에서 80년 된 수학적 장벽을 무너뜨리다
뉴스 요약
2026년 5월 20일(미국 동부 시간), OpenAI는 범용 추론 모델 중 하나가 80년 된 이산 기하학의 추측을 자율적으로 반증했다고 발표했습니다. 이는 수학자들과 AI 연구자들이 계산 과학 역사상 전환점으로 평가하는 획기적인 순간입니다.
80년 된 난제
에르되시 평면 단위 거리 문제는 1946년 헝가리 수학자 폴 에르되시에 의해 처음 제기되었습니다. 단순해 보이는 질문은 다음과 같습니다. 평면에 n개의 점이 주어졌을 때, 거리가 정확히 1인 점 쌍의 최대 개수는 몇 개일까요? 80년 동안 수학자들은 격자 형태의 배열이 최적의 구성이며, 단위 거리 쌍의 개수가 대략 n^(1 + o(1))으로 증가한다고 믿었습니다. 지금까지 아무도 이 가정을 증명하거나 반증하지 못했습니다.
OpenAI 모델의 발견
OpenAI의 범용 추론 모델은 오랫동안 가정된 상한선을 초과하는 무한한 점 배열을 발견했습니다. 격자 구조에 의존하는 대신, 모델은 고정된 양수 δ에 대해 최소 n^(1+δ)개의 단위 거리 쌍을 생성하는 구성을 발견했습니다. 이는 이전에 최적이라고 여겨졌던 것보다 명백한 다항식 개선입니다. 놀랍게도, 이 증명은 표면적으로 순전히 기하학적인 문제처럼 보이는 것을 해결하기 위해 대수적 정수론의 아이디어를 활용하여, 이전 연구에서 탐구되지 않았던 방식으로 수학 분야를 연결합니다.
선도적인 수학자들의 검증
이 결과는 즉시 수학계의 주목을 받았습니다. 프린스턴 대학의 수학자 윌 사윈은 모델의 증명을 독립적으로 검토하고 개선하는 데 도움을 주었습니다. 필즈상 수상자인 팀 고워스는 이 성과를 "AI 수학의 이정표"라고 묘사하며, 추론의 정교함이 유사한 미해결 문제에 대한 대부분의 인간의 노력을 능가한다고 언급했습니다. 외부 검증을 통해 결과의 수학적 타당성이 확인되었으며, 이는 기업 보도 자료 이상의 신뢰성을 부여했습니다.
이 돌파구가 특별한 이유
이전의 AI 수학 관련 주장들, 특히 2025년 10월 OpenAI가 10개의 에르되시 문제를 해결했다고 발표했지만, 나중에 이미 수학 문헌에 존재하는 해법을 검색한 것으로 밝혀진 사례들은 비판과 회의론을 불러일으켰습니다. 이번 결과는 두 가지 주요 이유로 다르다고 여겨집니다. 첫째, 특정 단위 거리 문제에 대해 특별히 미세 조정, 지원 또는 목표 설정된 시스템이 아닌 범용 추론 모델에 의해 달성되었습니다. 둘째, 이는 수학의 전체 하위 분야의 핵심적인 추측에 대한 진정한 반증이며, 단순히 점진적인 개선이나 기존 작업의 검증이 아닙니다. OpenAI는 이 결과가 인간 연구자 혼자 수행했더라도 최고 수준의 수학 저널에 게재될 만하다고 밝혔습니다.
증명의 작동 방식
이 돌파구의 핵심은 모델이 추상적인 대수적 도구를 구체적인 조합론적 설정으로 이식하는 능력에 있습니다. 대수적 정수론, 즉 다항식 방정식으로 정의되는 수의 속성을 다루는 수학 분야는 격자 구조가 허용하는 것보다 단위 거리 쌍이 훨씬 더 밀집된 점 구성을 만드는 데 필요한 도구를 제공합니다. 모델은 이 명백하지 않은 연결을 자율적으로 식별했으며, 수론을 관련 프레임워크로 안내받지 않았습니다.
수학을 넘어선 과학적 함의
OpenAI와 외부 연구자들은 이 중요성이 기하학을 훨씬 넘어선다고 강조합니다. 대수적 정수론과 이산 기하학을 연결하는 모델의 능력은 AI 추론 시스템이 길고 다단계적인 논리 체인을 유지하고 전통적으로 분리된 영역에서 통찰력을 종합하는 능력을 개발하고 있음을 시사합니다. 연구자들은 이러한 능력이 생물학, 물리학, 공학, 의학 등 돌파구가 종종 예상치 못한 학제 간 연결에서 발생하는 분야에 직접적인 영향을 미친다고 말합니다. 좁은 전문가가 아닌 범용 모델이 이 결과를 도출했다는 사실은 미래 AI 시스템이 과학 전반의 최전선 연구에 기여할 수 있음을 시사하며 특히 중요합니다.
AI 지원 수학의 더 넓은 맥락
이 결과는 수학적 추론을 위한 AI에 대한 관심이 급증하는 시기에 나왔습니다. 전 세계 연구 그룹들은 가설 생성, 증명 검증, 패턴 발견을 위한 도구로 대규모 언어 모델을 탐구해 왔습니다. OpenAI의 발표는 기준을 상당히 높였습니다. 명명된 공개 추측을 자율적으로 반증하는 것은 경쟁 스타일의 문제를 해결하거나 기존 증명을 확인하는 것과는 질적으로 다릅니다. 필즈상 수상자인 고워스와 다른 전문가들은 이것이 AI의 창의적인 수학 작업에서의 역할을 어떻게 생각하는지에 대한 분야의 인식을 바꿀 수 있는 기여 유형이라고 언급했습니다.
사건 연대기
공식 발표는 2026년 5월 20일(미국 동부 시간)에 openai.com에서 OpenAI에 의해 게시되었습니다. 이후 Scientific American, TechCrunch, Interesting Engineering 등에서 빠르게 보도되었습니다. Scientific American은 수학계가 이 결과에 "충격"을 받았다고 언급했습니다. 프린스턴 대학의 윌 사윈의 개선 사항은 OpenAI 자체 보고서에서 인정되었으며, 이는 검증 과정의 협력적 성격을 강조합니다.