OpenAI GPT-5.6 Sol Ultra, 그래프 이론 난제 'Cycle Double Cover Conjecture' 증명 발표

OpenAI가 최신 모델 GPT-5.6 Sol Ultra를 이용해 그래프 이론의 오랜 미해결 난제인 Cycle Double Cover Conjecture(사이클 이중 피복 추측)에 대한 증명을 만들어냈다고 발표했습니다. 이 추측은 다리(bridge)가 없는 모든 그래프에 대해, 모든 간선을 정확히 두 번씩 덮는 사이클들의 모음이 항상 존재한다는 내용으로 수십 년간 수학자들을 괴롭혀온 문제입니다. OpenAI는 해당 증명을 PDF 형태로 직접 공개했으며, 수학·AI 커뮤니티에서는 이를 둘러싼 검증과 논쟁이 활발히 이어지고 있습니다. Hacker News에서는 176점, 댓글 165개를 기록할 정도로 뜨거운 반응을 얻었는데, 이는 AI가 연구자 수준의 창의적 수학 추론을 실제로 해낼 수 있는지를 가늠하는 시험대로 여겨지고 있습니다. 다만 증명의 엄밀성에 대한 수학계의 공식 검증은 아직 진행 중인 것으로 보입니다.