오픈AI는 최신 인공지능 모델인 GPT-5.6 솔 울트라를 사용하여 그래프 이론의 50년 난제를 한 시간 만에 증명했다고 주장합니다. 이 주장은 수학계의 주목을 받고 있습니다. 오픈AI 연구원은 해당 모델이 '사이클 더블 커버 추측'과 같은 대표적인 미해결 문제를 해결했음을 언급했습니다.