OpenAI, 단위거리 추측 반례
OpenAI claims a general-purpose reasoning model found a counterexample to Erdos's unit-distance bound [D]
·2026.05.21 05:37
OpenAI가 일반 목적 추론 모델로 Erdős 단위거리 추측의 반례를 찾았다고 밝혔다.
OpenAI가 일반 목적 추론 모델로 고전적인 Erdős 평면 단위거리 문제의 기존 상한 추측에 반례를 찾았다고 발표했다.
- 모델이 만든 구성은 n^(1+δ) 꼴의 단위거리 수를 보이는 점집합이 무한히 많은 n에 대해 가능함을 시사한다.
- 이는 기존에 기대되던 거의 선형 상한이 성립하지 않음을 뜻한다.
- OpenAI는 결과를 공식 발표문과 증명 PDF, 간략 reasoning writeup으로 공개했다.
- 과정 측면에서는 모델 출력이 AI grading pipeline으로 검증되고, 이후 수학자 검토·수정을 거쳤다고 설명했다.
- 다만 사용한 모델명, 샘플링 방식, 시도 횟수, 계산량, 시스템 프롬프트, grading 세부 절차는 공개되지 않았다.
핵심 수학 결과뿐 아니라, 범용 추론 모델이 실제 수학 연구 보조를 넘어 새 반례를 찾을 수 있는지를 보여주는 사례로도 주목된다.
이 요약은 원문 이해를 돕기 위한 큐레이션입니다. 저작권은 원저작자에게 있으며, 정확한 내용과 맥락은 원문을 확인하세요.
요약 오류, 출처 표기 문제, 삭제 요청은 문의 · 건의로 알려주세요.