OpenAI의 GPT-5.6 Sol Ultra가 그래프 이론의 오랜 미해결 문제인 순환 이중 덮개 추측을 1시간 안에 증명한 것으로 알려졌습니다. 이 추측은 모든 브리지 없는 그래프의 각 변이 정확히 두 번 포함되도록 순환들의 집합으로 덮을 수 있다는 내용을 담고 있습니다. 1970년대부터 수학계에서 연구된 문제로, 약 50년 동안 완전한 증명이 나오지 않았던 대표적인 난제 가운데 하나로 꼽힙니다.

이번 결과는 GPT-5.6 Sol Ultra가 64개의 하위 에이전트를 병렬로 운영해 도출한 것으로 설명됩니다. 여러 에이전트가 서로 다른 접근을 동시에 탐색하고, 증명 전략을 비교·통합하는 방식으로 작업한 점이 핵심입니다. 수학자 토머스 블룸은 해당 증명이 놀라울 정도로 초등적인 구조를 보인다고 평가했습니다. 다만 기존 연구와 알려진 정리, 선행 결과에 대한 인용이 충분하지 않다는 점은 비판했습니다. 이는 AI가 산출한 수학 증명의 검증 과정에서 출처, 기여 범위, 독창성 판단이 여전히 중요하다는 점을 보여줍니다.

이번 사례는 인공지능이 수학 연구에서 어떤 역할을 할 수 있는지에 대한 논의를 다시 키우고 있습니다. AI가 기존 지식을 재조합해 사람이 놓친 경로를 빠르게 찾아내는 도구인지, 아니면 새로운 수학적 아이디어를 실제로 창출하는 주체인지가 핵심 쟁점입니다. 특히 순환 이중 덮개 추측처럼 장기간 해결되지 않은 문제에서 AI가 유효한 증명을 제시했다면, 향후 정리 증명, 논문 검토, 연구 가설 생성 방식에 큰 변화가 예상됩니다. 최종 평가는 수학계의 엄밀한 검증을 거쳐야 하지만, GPT-5.6 Sol Ultra의 사례는 AI 기반 수학 연구의 가능성과 한계를 동시에 드러낸 사건으로 기록될 전망입니다.