An OpenAI model has disproved a central conjecture in discrete geometry

TL;DR

OpenAI의 일반 목적 추론 모델이 80년간 미해결이었던 Erdős 단위 거리 추측(planar unit distance problem)을 반증. 순수 수학 분야에서 AI가 독자적으로 미해결 문제를 해결한 첫 사례.

Authors & Org

• OpenAI (internal reasoning model team — specific authors not disclosed)
• External verification: Will Sawin (Princeton University) — refinement of lower bound (δ = 0.014)
• Published: 2026-05-20

Method

1. Chain-of-thought reasoning: 모델이 "thinking out loud" 방식으로 장시간 추론 트랜스크립트 생성.
2. Algebraic number theory 적용: Golod-Shafarevich theory + infinite class field towers를 활용해 square grid를 능가하는 점 배치의 무한 패밀리 구성.
3. Counterexample 발견: n개의 점 배치에서 적어도 n^(1+δ) 쌍의 단위 거리를 달성하는 구조 (δ > 0 고정).
4. 인간 수학자가 핵심 추출: 전문 수학자들이 긴 추론 트랜스크립트에서 핵심 아이디어를 파악해 표준 증명 형식으로 재작성.
5. 외부 검증: Princeton 수학자 Will Sawin이 δ = 0.014로 bound 정제.

Results

• 1946년 Erdős가 제기한 planar unit distance problem의 핵심 추측 반증.
• 기존 80년간 최적이라 여겨진 square grid 구조를 능가하는 무한한 점 배치 패밀리 발견.
• 일반 목적 모델(수학 전용 아님)이 frontier 수학 문제 해결 — 특화 시스템 없이 chain-of-thought reasoning만으로 달성.

Significance

• 첫 AI 자율 수학 미해결 문제 해결: 이전까지 AI의 수학 성과는 기지의 문제 풀기(IMO, AIME) 또는 검증 보조에 그쳤음. 이번은 진짜 미해결 문제의 자율 해결 첫 사례.
• 일반 reasoning 모델의 과학적 기여: 수학 특화 모델이 아닌 general reasoning model이 frontier 수학 기여 — AI reasoning capabilities의 광범위한 과학 적용 가능성 시사.
• "Year of Science" 이정표: OpenAI의 2026 전략 테마에서 가장 강한 실증 사례.
• DeepMind Gemini Deep Think와의 비교: DeepMind는 IMO 금메달, 18개 미해결 문제 해결 등 수학 AI에서 앞서 왔음 — OpenAI가 순수 수학에서 처음으로 peer-reviewed급 독자 기여.

Open Questions

• δ = 0.014 가 tight bound인가, 더 개선 가능한가?
• 이 방법론이 다른 조합론/정수론 문제에 일반화될 수 있는가?
• "AI가 아이디어를 생성하고 인간 수학자가 형식화하는" 협업 모델이 표준화될 것인가?

Cite

"An OpenAI model has disproved a central conjecture in discrete geometry." OpenAI, 2026-05-20. https://openai.com/index/model-disproves-discrete-geometry-conjecture/

Related

• OpenAI — "Year of Science" 전략, reasoning model 역량
• Reasoning Models — chain-of-thought reasoning으로 순수 수학 문제 해결
• Gemini 3.1 Deep Think — DeepMind의 자율 수학 연구 에이전트 (Aletheia, IMO 금메달) — 비교 대상
• Co-Scientist (Google DeepMind) — 과학 AI 가설 생성 (다른 도메인)