오픈AI가 최신 AI 모델 GPT-5.6 솔 울트라가 그래프 이론 분야의 50년 난제인 '사이클 더블 커버 추측'을 1시간 만에 증명했다고 발표했어요. GPT-5.6 솔 울트라는 64개의 서브에이전트를 활용해 문제를 해결했으며, 증명은 3차 정규 그래프 환원과 8-플로우 정리 활용 방식으로 진행됐어요. 수학계는 아직 공식적인 검증을 거치지 않았지만, AI가 실패한 접근법도 지속적으로 탐색하며 해답을 찾은 점을 긍정적으로 평가하고 있어요.