OpenAI 모델, 80년 된 Erdos 추측 반증

OpenAI는 80년 전 폴 에르도스(Paul Erdos)가 제안한 이산 기하학의 추측을 반박하는 반례를 발견하기 위해 새로운, 공개되지 않은 추론 모델을 사용했다. 이 모델은 추측이 거짓이라는 증거를 찾기 위해 체계적으로 기술을 적용하기 위해 광범위한 사고 사슬 추론을 활용했으며, 이는 인간 수학자들이 추측이 참이라는 편향으로 인해 크게 피했던 경로이다. 전문 수학자들은 모델의 광범위한 출력을 검토하여 특정 반례를 식별하고 이를 표준 증명으로 재구성했다. 결과가 지루한 논리적 경로를 지속하는 모델의 능력을 입증했지만, 특정 프로세스는 광범위한 실제 적용에 너무 비싸다.