GPT-5.6이 64개의 에이전트를 조정하여 한 시간 만에 50년치 추측을 증명했습니다.

동차 Beating 모니터링에 따르면, OpenAI는 GPT-5.6 Sol Ultra가 64개의 하위 에이전트를 호출하여 1시간도 안 되는 시간에 약 50년 동안 제기된 '순환 이중 덮개 추측'에 대한 증명을 제시했다고 밝혔습니다.

OpenAI는 전체 프롬프트와 증명 전문을 공개했으며, Lean 형식화 버전도 오픈소스로 제공했습니다. 관련 코드는 Lean 커널 검사를 통과했습니다. 하지만 이는 여전히 OpenAI가 발표한 결과일 뿐입니다. 수학계는 아직 독립적인 검토를 완료하지 않았으므로, 현재로서는 '증명을 제시했다'고만 말할 수 있을 뿐 '공식적으로 해결되었다'고 직접 말할 수는 없습니다.