AI
OpenAI 모델, 이산기하학의 핵심 추측을 반박하다
An OpenAI model has disproved a central conjecture in discrete geometry
두줄요약
OpenAI 내부 모델이 80년 된 평면 단위거리 문제의 Erdős 추측을 반박했습니다. 대수적 수론을 활용한 증명은 외부 수학자들이 검증했습니다.
핵심 발표
- 내부 OpenAI 모델의 평면 단위거리 문제 해법과 Erdős의 오랜 상한 추측 반박
- 외부 수학자 그룹의 증명 검증 및 논증·의의를 설명하는 동반 논문 공개
연구 방법·결과
- 무한히 많은 n에 대해 n개의 평면 점에서 최소 n^(1+δ)개의 단위거리 쌍을 만드는 구성 제시
- 후속 정교화에서 δ=0.014 가능성 제시
- 가우스 정수의 확장에서 대수적 수론의 더 복잡한 수체, 무한 클래스체 탑, Golod–Shafarevich 이론 활용
개발자 영향
- 특정 수학 문제용 학습이나 증명 전략 탐색용 스캐폴딩 없이 범용 추론 모델이 미해결 문제 증명 생성
- AI가 수학자의 보조 역할을 넘어 독창적 아이디어와 완결된 논증을 제시할 수 있다는 사례
한계·주의점
- 원래 AI 증명은 δ의 명시적 값을 제공하지 않음
- 결과는 무한히 많은 n에 대한 구성으로 제시