OpenAI 추론 모델이 80년 묵은 에르되시 단위거리 추측을 뒤집었다

OpenAI의 범용 추론 모델은 2026년 5월, 1946년 폴 에르되시(Paul Erdős)가 제기한 단위거리 추측을 반증하는 핵심 구성을 스스로 만들어냈습니다. 수학 전용 모델도, 부분 증명을 미리 받은 것도 아닌 일반 추론 모델이, 80년간 최적이라 믿어온 정사각 격자 한계를 무한 족(infinite family)으로 깬 것입니다. 개선 폭은 로그가 아니라 다항(polynomial)이며, Will Sawin의 후속 정밀화로 지수가 δ ≥ 0.014만큼 더 크다는 사실이 명시되었습니다.

에르되시 단위거리 추측이란 무엇인가

단위거리 문제는 1946년 폴 에르되시가 제기한 이산기하학 난제로, 평면 위 n개의 점 중 정확히 거리 1만큼 떨어진 점 쌍이 최대 몇 개냐를 묻습니다. 오랫동안 수학계는 적절히 크기를 조정한 '정사각 격자' 구성이 본질적으로 최적이며, 그 상한이 n^(1+o(1)) 수준이라고 믿어 왔습니다.

이 추측이 80년간 미해결로 남은 이유는, 격자보다 더 촘촘한 단위거리 쌍을 만드는 구성을 아무도 찾지 못했기 때문입니다. 즉 상한을 깨려면 격자라는 직관 자체를 넘어서야 했습니다.

OpenAI 모델은 무엇을 증명했나

OpenAI의 범용 추론 모델은 격자 상한을 다항 인수만큼 초과하는 무한 족 구성을 제시해 추측을 반증했습니다. 무한히 많은 n에 대해 최소 n^(1+δ)개의 단위거리 쌍을 만드는, 0보다 큰 고정된 δ가 존재함을 보인 것입니다.

원래 AI 증명은 δ의 명시적 값을 주지 않았지만, 프린스턴대 Will Sawin이 2026년 5월 후속 논문에서 δ ≥ 0.014를 명시적으로 끌어냈습니다. 0.014라는 폭은 작아 보여도 다항 개선이라, 단위거리 쌍의 개수가 정사각 격자에서 영감받은 어떤 구성보다도 엄격히 빠르게 늘어남을 뜻합니다.

진짜 놀라운 점: 브루트포스가 아니라 대수적 정수론

핵심 인사이트는 OpenAI 모델의 승부가 무차별 탐색이 아니라 깊은 대수적 정수론에서 났다는 점입니다. 구성은 큰 차수와 작은 판별식을 가지면서 작은 노름의 소수를 많이 품는 대수적 수체(number field)를 만드는 방식으로, Golod-Shafarevich 판정과 Ellenberg-Venkatesh, Hajir-Maire-Ramakrishna 계열 아이디어에 기댑니다.

OpenAI 측은 "이 개념들은 대수적 정수론자에게는 잘 알려져 있었지만, 그것이 기하 문제에 함의를 가진다는 점은 큰 놀라움이었다"고 밝혔습니다. 흔히 LLM의 약점으로 꼽히던 추상 대수 영역에서 결정타가 나온 셈입니다.

모델의 사고 사슬(chain of thought)에서도 특징이 드러납니다.

사고의 압도적 다수가 상한을 '증명'하기보다 '반례'를 만드는 데 쏠렸습니다.
즉 모델은 통념(격자가 최적)을 의심하는 방향으로 탐색을 집중했습니다.
그 결과 사람이 80년간 보지 못한 수체 기반 구성에 도달했습니다.

수학자 9인은 어떻게 검증했나

반증 결과는 모델이 혼자 주장한 것이 아니라, 외부 수학자 9명이 검토하고 짧은 인간 검증판 논문으로 다시 쓴 것입니다. Noga Alon, Thomas F. Bloom, W. T. Gowers, Daniel Litt, Will Sawin, Arul Shankar, Jacob Tsimerman, Victor Wang, Melanie Matchett Wood 등이 arXiv에 "단위거리 추측 반증에 관한 노트"를 공개했습니다.

필즈상 수상자 Tim Gowers는 "사람이 이 단위거리 논문을 써서 Annals of Mathematics에 제출했다면, 나는 망설임 없이 게재를 추천했을 것"이라고 평했습니다. 검증 가능성과 독창성 모두에서 정상급 저널 수준이라는 뜻입니다.

사람 vs AI: 이번 결과가 다른 점

2026년 OpenAI 사례는 AI의 기존 수학 기여와 결이 다릅니다. 아래 표가 통념과 실제의 간극을 정리합니다.

항목	흔한 통념	이번 실제
모델 종류	수학 전용 모델	범용 추론 모델
입력	부분 증명·인간 발판 제공	비제공, 모델이 핵심 구성 도출
승리 방식	무차별 탐색	대수적 정수론(수체 구성)
개선 폭	로그 수준 미미	다항, δ ≥ 0.014
검증	미검증 주장	수학자 9인 검토 + 인간 검증판

핵심은 명확합니다. 범용 모델이 인간 발판 없이, LLM이 약하다던 추상 대수에서, 80년 추측을 다항 개선으로 뒤집고, 정상급 저널 수준으로 검증까지 받았다는 사실입니다. 다만 이는 단일 사례이며, 모든 난제로 일반화되는 증거는 아닙니다.

참고: Alon, Bloom, Gowers, Litt, Sawin, Shankar, Tsimerman, Wang, Wood, "Remarks on the disproof of the unit distance conjecture" (arXiv:2605.20695) · OpenAI 공식 발표 · Sawin, "An explicit lower bound for the unit distance problem" (arXiv:2605.20579)