needhelp
← Back to blog

AI, 기하학 문제를 풀다: OpenAI, Erdős의 80년 된 단위 거리 추측을 뒤집다

by needhelp
OpenAI
Mathematics
Erdős
AI Reasoning
Discrete Geometry

2026년 5월 20일, OpenAI가 내부 일반 추론 모델이 이산 기하학의 핵심 미해결 문제인 Erdős 단위 거리 문제를 자율적으로 해결, 거의 80년간 해당 분야를 지배한 추측을 뒤집었다고 발표했다.

이는 AI 시스템이 처음으로 다음을 모두 수행한 것을 표시한다:

  • 자율적으로 독창적 증명 제안
  • 다른 분야 연결 (대수적 수론 ↔ 조합 기하학)
  • 세계적 수준의 수학자들의 엄격한 피어 리뷰 통과
  • 성숙한 수학 하위 분야의 핵심 미해결 문제 해결

80년의 수학적 합의

1946년 헝가리 수학자 Paul Erdős가 질문을 제기했다: 평면 위 n개의 점이 주어졌을 때, 정확히 1 단위 떨어진 쌍의 최대 개수는?

결과 연도 유형 공식
Erdős 하한 1946 하한 (n^{1 + c/\log\log n})
SST 상한 1984 상한 (O(n^{4/3}))
Erdős 추측 1946 (참으로 믿어짐) (n^{1+o(1)})
AI가 뒤집음 2026 새 하한 (\geq n^{1+\delta}), (\delta > 0) 고정

AI 돌파구

정리 (AI 생성, 2026): 무한 평면 점 집합 구성 족이 존재하여, 무한히 많은 (n)에 대해 단위 거리 쌍의 수가 최소 (n^{1 + \delta})이고, (\delta > 0)은 고정 양의 상수.

이는 Erdős의 (n^{1+o(1)}) 추측을 근본적으로 반증한다.

References

Share this page