오픈AI가 50년 가까이 안 풀리던 그래프 이론 난제를 AI로 증명했다고 발표했어요. GPT-5.6 솔 울트라가 서브에이전트 64개를 동시에 돌려 1시간 안에 풀어냈대요. 근데 수학계 검증은 이제 시작이라 완전히 풀렸다고 하기엔 아직 일러요.
오픈AI가 7월 9일에 GPT-5.6 솔 울트라를 정식 출시하더니, 하루 만에 또 일을 냈어요. 이번엔 무려 47년째 안 풀리던 그래프 이론의 유명한 난제, '사이클 더블 커버 추측(Cycle Double Cover Conjecture)'을 AI가 증명했다고 발표한 거예요. 🤖
이 추측은 1979년 폴 시모어가 제기한 문제예요. 다리 없는(bridgeless) 모든 그래프에는 모든 간선이 정확히 두 번씩 포함되는 사이클들의 모음이 존재한다는 내용인데, 위키피디아 '미해결 수학 문제' 목록에까지 오를 정도로 유명한 난제거든요. 전공자가 아니면 문장만 봐도 머리가 아파올 만큼 추상적인데, 그런 문제를 AI가 1시간도 안 걸려서 풀었다는 게 이번 발표의 핵심이에요.
오픈AI 연구원 에단 나이트가 X(트위터)에 올린 글에 따르면, GPT-5.6 솔 울트라는 문제를 큐빅 그래프로 축소시키고 '8-플로 정리'를 활용한 다음, 선형대수 논증으로 모든 간선이 정확히 두 사이클에 들어가도록 강제하는 라벨링을 구성하는 방식으로 접근했대요. 그것도 서브에이전트 64개를 동시에 돌려서요. 📐
솔직히 이 부분이 꽤 인상적이에요. 그냥 "AI가 풀었다"고 주장만 하고 끝낸 게 아니라, 증명 PDF는 물론 AI에게 던진 프롬프트 원문까지 통째로 공개했거든요. 커뮤니티가 직접 뜯어보고 검증할 수 있게 판을 깔아준 셈이죠. AI 연구 발표에서 재현 가능성만큼 중요한 게 없는데, 이번엔 그 기본을 지킨 셈이에요.
다만 아직 김칫국 마시긴 일러요. 수학계는 지금 이 증명을 한창 뜯어보는 중이고, 린(Lean) 같은 정리 증명기로 형식 검증도 안 된 상태거든요. 즉 지금 단계에선 '주장'이지 '확정된 결과'는 아니라는 얘기예요. 과거에도 AI든 사람이든 낸 증명이 나중에 허점이 발견돼서 뒤집힌 사례가 종종 있었으니, 조금 더 지켜볼 필요는 있어요. ⚠️
그래도 이번 사건이 주는 의미는 꽤 커요. 서브에이전트 64개를 병렬로 돌려서 복잡한 수학 문제에 접근하는 방식 자체가, AI가 연구를 '도와주는' 수준을 넘어 직접 '연구를 수행하는' 방향으로 가고 있다는 신호거든요. 올해 들어 수학 올림피아드급 문제를 푸는 AI 소식은 종종 있었지만, 반세기 가까이 미해결이던 정식 난제에 도전한 사례는 흔치 않아요. 📈
개인적으로는 검증 결과가 나오기 전까지는 신중하게 봐야 한다고 생각하지만, 만약 이 증명이 진짜로 통과된다면 AI 수학 연구의 이정표로 남을 것 같긴 해요. 수학계 검증이 어떻게 마무리될지, 그리고 다음엔 또 어떤 난제가 AI 앞에 놓일지 궁금해지네요.
출처