AI 모델이 에르되시의 80년 된 ‘단위 거리 추측’을 반박하다

AI가 제시한 반례

OpenAI 연구에서 제시된 구성은 다음을 보인다.

ν(n) ≥ n^(1+δ)

여기서 δ는 고정된 양수이며, 이런 현상이 무한히 많은 n에 대해 성립한다.

에르되시의 추측은 ν(n)이 **n보다 조금 더 큰 정도(n^(1+o(1)))**에 머물 것이라 예측했기 때문에, 고정된 지수 증가(n^(1+δ))가 존재한다는 사실 자체가 추측과 모순된다.

즉 특정한 점 배치에서는 기존에 가능하다고 생각했던 것보다 훨씬 많은 단위 거리 관계가 만들어질 수 있다는 뜻이다.

핵심 아이디어: 격자가 아니라 ‘대수적 수론’

기존의 대부분의 구성은 격자나 기하학적 패턴에 기반했다. 하지만 새로운 접근법은 완전히 다른 분야에서 아이디어를 가져왔다.

바로 **대수적 수론(algebraic number theory)**이다.

증명의 핵심에는 다음과 같은 고급 수학 구조들이 등장한다.

• 특정 분해 성질을 가진 **완전히 실수인 수체(totally real number fields)**의 무한 클래스 필드 타워
• 이러한 타워의 존재를 보장하는 Golod–Shafarevich 유형의 구성
• 여기에 허수 단위 i를 추가해 얻는 CM 필드

이 구조들은 노름(norm)이 1인 원소가 매우 많은 고차원 격자를 만들어낸다. 이 격자를 유클리드 평면의 점 배치로 변환하면, 이러한 노름 관계들이 대량의 단위 거리 간선으로 대응된다.

결과적으로 대수적 구조를 이용하면 격자 방식보다 훨씬 풍부한 거리 관계를 만들어낼 수 있다는 것이 핵심이다.

왜 이 결과가 중요한가

차이는 작아 보이지만 수학적으로는 결정적이다.

에르되시의 추측:

n^(1 + o(1))

새로운 구성:

n^(1 + δ)

여기서 δ가 고정된 양수라는 점이 중요하다. n이 커질수록 두 값의 차이는 점점 커지며, 결국 추측과 양립할 수 없게 된다.

수학자들의 검증

이 결과가 발표된 뒤 여러 수학자들이 내용을 검토했고, 핵심 아이디어를 정리한 인간 검증 요약 논문도 발표되었다.

이 문서에는 다음과 같은 연구자들이 참여했다.

• 노가 알론 (Noga Alon)
• 티머시 가워스 (Timothy Gowers)
• 토머스 블룸 (Thomas Bloom)
• 윌 소윈 (Will Sawin)
• 멜라니 매쳇 우드 (Melanie Matchett Wood)

이들은 증명의 구조를 요약하고, Golod–Shafarevich 이론과 관련된 수론적 아이디어가 어떻게 기하학적 구성으로 이어지는지 설명했다.

왜 ‘AI 수학의 이정표’로 불리는가

이번 결과가 큰 관심을 끄는 이유는 AI가 스스로 새로운 수학적 증명을 만들어냈다고 보고되었기 때문이다.

과거 AI 수학 연구에서는 모델이 정답을 찾았지만 이미 문헌에 존재하던 해결책을 재발견한 경우도 있었다. 그러나 이번 결과는 1946년부터 열린 채로 남아 있던 추측에 대한 새로운 반례로 제시되고 있다.

만약 수학계의 장기적인 검증 과정을 통과한다면, 이는 AI가 주요 수학 난제 해결에 직접 기여한 첫 사례 중 하나로 기록될 가능성이 있다.

앞으로의 과제

대형 수학 결과는 보통 수년 동안 검증과 단순화 과정을 거친다. 연구자들은 앞으로 다음과 같은 작업을 진행할 가능성이 크다.

• 증명의 세부 단계 재검증
• 더 단순한 설명 또는 대체 증명 탐색
• 관련 기하학 및 조합론 문제로의 확장 연구

결과가 최종적으로 어떻게 평가되든, 이번 사례는 자동화된 추론 시스템과 인간 수학자의 협업이 새로운 수학적 발견 방식으로 떠오르고 있음을 보여주는 사례로 평가된다.