OpenAI가 일반 목적 추론 모델이 Erdős 단위 거리 문제에 대한 반례를 찾아냈다고 발표했어요. 이는 기존 추정 상한선을 벗어나는 결과입니다. OpenAI는 AI 모델로 생성된 해법을 AI 채점 파이프라인으로 검증하고 수학자들의 검토 및 수정을 거쳤다고 밝혔어요. 모델 이름, 샘플링 설정, 시도 횟수 등 실험 세부 정보는 공개되지 않았으며, 재현 가능성을 위한 추가 정보 공개 요구가 있을 것으로 보입니다.