AI 생성 이미지
AI가 수학 문제를 풀었다는 소식은 이제 낯설지 않습니다. 하지만 OpenAI의 평면 단위 거리 문제 발표는 조금 다르게 볼 필요가 있습니다. 핵심은 “AI가 어려운 문제를 풀었다”가 아니라, 오랫동안 강했던 기하학적 직관을 흔드는 새 구성을 찾아냈다는 점입니다.
이 문제는 1946년 폴 에르되시가 제기한 조합기하학 문제입니다. 겉보기에는 단순하지만, 점을 어떻게 배치해야 거리 1인 쌍을 가장 많이 만들 수 있는지를 묻는 순간 매우 깊은 문제가 됩니다.
평면 단위 거리 문제란 무엇인가
평면 위에 점 n개를 놓습니다. 이때 서로의 거리가 정확히 1인 점쌍을 최대 몇 개 만들 수 있을까요? 이 최대값을 보통 u(n)이라고 부릅니다.1
가장 쉬운 예는 직선입니다. 점 n개를 같은 간격으로 나란히 놓으면 단위 거리 쌍은 n-1개가 됩니다.1 조금 더 나아가 정사각 격자로 점을 배치하면 단위 거리 쌍은 대략 2n개까지 늘어납니다.1
그래서 정사각 격자는 오랫동안 중요한 기준점이었습니다. “완전히 최선은 아니더라도, 본질적으로 이 정도 규모가 한계에 가깝지 않을까”라는 직관을 제공했기 때문입니다.
왜 이번 결과가 눈에 띄는가
기존에도 정사각 격자보다 나은 격자 기반 구성은 있었습니다. 알려진 하한은 n^(1+C/log log n) 수준까지 개선됐습니다.1 다만 여기서 추가 지수인 C/log log n은 n이 커질수록 0에 가까워집니다.1
즉 기존 개선은 중요했지만, 큰 그림에서는 여전히 “거의 선형”에 가까웠습니다. 정사각 격자의 대략 2n이라는 기준을 완전히 다른 성장률로 밀어낸 것은 아니었습니다.
OpenAI가 발표한 새 구성의 의미는 여기에 있습니다. 해당 구성은 무한히 많은 n에 대해 n^(1+δ)개 이상의 단위 거리 쌍을 만든다고 설명됩니다.1 δ가 0보다 큰 고정값이라면 이야기가 달라집니다. 단순히 상수를 조금 개선한 것이 아니라, 성장률의 형태 자체를 바꾸는 결과이기 때문입니다.
보도에 따르면 이후 정제된 결과에서는 δ가 0.014로 제시됐습니다.1 숫자만 보면 작아 보일 수 있습니다. 그러나 수학에서는 고정된 양의 지수가 붙는 순간, 기존 추측이나 직관을 깨는 강한 증거가 됩니다.
중요한 것은 ‘더 많은 점쌍’이 아니라 ‘다른 관점’이다
이번 발표에서 특히 흥미로운 부분은 접근 방식입니다. 새 구성은 전통적인 평면 기하학의 직관만으로 나온 것이 아니라, 대수적 수론의 도구와 연결된 것으로 설명됩니다.2
이 점이 독자에게 주는 실용적 메시지는 분명합니다. 복잡한 문제에서 성과를 내려면, 익숙한 틀 안에서만 개선점을 찾는 것으로는 부족할 수 있습니다. 평면 위 점 배치라는 기하 문제를 전혀 다른 수학 분야의 구조로 다시 바라봤을 때, 새로운 가능성이 열린 것입니다.
AI의 역할도 이 맥락에서 이해하는 편이 더 정확합니다. 이번 사례를 곧바로 “AI가 수학자를 대체한다”로 읽는 것은 성급합니다. 더 현실적인 변화는 AI가 예상 밖의 구성이나 연결 후보를 제안하고, 인간 전문가가 이를 검증하고 의미를 부여하는 방식이 강해지고 있다는 점입니다.
수학은 특히 검증이 핵심인 분야입니다. AI가 어떤 구성을 제안하더라도, 결국 증명과 검토를 통과해야 합니다. 외부 수학자들이 증명을 점검했고, 보조 논문이 맥락을 설명했다는 점이 중요한 이유도 여기에 있습니다.2
우리가 가져갈 교훈
OpenAI의 평면 단위 거리 문제 발표는 단순한 AI 성과담이 아닙니다. 오래된 문제를 볼 때 “이미 강한 기준점으로 여겨지는 방법”이 반드시 최종 답은 아닐 수 있음을 보여주는 사례입니다.
실제로 적용할 수 있는 교훈은 간단합니다.
문제의 정의를 먼저 명확히 잡는다.
기존 기준점이 무엇인지 확인한다.
개선이 단순한 상수 개선인지, 성장률의 변화인지 구분한다.
익숙한 분야 밖의 도구로 문제를 다시 볼 수 있는지 묻는다.
AI의 제안은 결론이 아니라 검증해야 할 후보로 다룬다.
이번 결과의 가치는 바로 이 지점에 있습니다. AI가 답을 “믿으라”고 요구한 것이 아니라, 인간이 검토할 만한 새로운 수학적 경로를 제안했다는 점입니다. 앞으로의 강력한 AI 활용은 정답을 즉시 받아들이는 방식보다, 낯선 연결을 발견하고 엄밀하게 검증하는 방식에 가까울 것입니다.
1OpenAI Disproves the Planar Unit Distance Conjecture
280-year-old geometry mystery cracked by OpenAI using deep number theory
이 노트는 보도·비평·교육·연구 목적으로 작성되었습니다. 저작권 문의가 있으시면 에서 알려주세요.