AI BriefingOpenAI, 단위거리 추측 반례
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 세부 절차는 공개되지 않았다.
핵심 수학 결과뿐 아니라, 범용 추론 모델이 실제 수학 연구 보조를 넘어 새 반례를 찾을 수 있는지를 보여주는 사례로도 주목된다.
이 한국어 요약은 AI가 자동으로 만들었습니다. 원문의 주장과 맥락은 원문에서 확인해 주세요. 저작권은 원저작자에게 있습니다.
