OpenAI, GPT-5.6 Sol Ultra가 50년 난제 증명했다고 공개…학계 검증은 남아

OpenAI CDN에 공개된 문서와 OpenAI 연구자 Noam Brown의 X 게시물에 따르면 GPT-5.6 Sol Ultra가 그래프 이론의 오래된 미해결 문제인 순환 이중 덮개 추측(Cycle Double Cover Conjecture)의 증명을 생성했다는 주장이 나왔다. 공개 문서는 제목을 ‘A Proof of the Cycle Double Cover Conjecture’로 달고, “AI use” 항목에서 증명이 GPT-5.6 Sol Ultra에 의해, 원고 정리가 Codex와 GPT-5.6 Sol을 통해 이뤄졌다고 적었다.

순환 이중 덮개 추측은 모든 브리지 없는 유한 무방향 그래프가 각 간선을 정확히 두 번 덮는 순환들의 모음을 갖는다는 명제다. 문서는 이 문제가 Tutte, Itai와 Rodeh, Szekeres, Seymour 등에 의해 제기됐다고 설명한다. 그래프 이론 안에서도 오래 논의된 문제인 만큼, 실제 증명으로 인정될 경우 AI의 수학 연구 활용을 둘러싼 논의가 크게 확대될 수 있다.

Noam Brown은 X 게시물에서 전날 GPT-5.6 Sol Ultra가 일반 제공됐고, 이날 해당 모델이 50년 된 순환 이중 덮개 추측의 증명을 냈다고 밝혔다. Brown은 OpenAI에서 reasoning 연구를 맡고 있는 연구자로 알려져 있다. 다만 현재 공개된 근거는 OpenAI CDN의 짧은 PDF 문서와 연구자 개인 계정의 게시물이다. OpenAI 뉴스룸의 별도 공식 발표, arXiv 논문, 학술지 게재, 외부 수학자의 검토 결과는 아직 확인되지 않았다.

따라서 이번 사안은 “AI가 난제를 해결했다”는 확정 보도보다, 프런티어 모델이 수학 연구의 증명 생성과 원고 작성에 관여했다는 공개 주장으로 보는 것이 정확하다. 수학 증명은 문장 형태로 완성돼 보이더라도 세부 논리, 기존 정리의 사용 조건, 예외 사례, 표기와 정의의 일관성을 독립적으로 검토해야 한다. 특히 오랜 미해결 문제일수록 공개 직후 검증 과정에서 오류가 발견되는 사례도 적지 않다.

그럼에도 이번 공개는 AI 모델 경쟁의 초점이 벤치마크 점수와 코딩 생산성을 넘어 실제 연구 문제 해결로 옮겨가고 있음을 보여준다. OpenAI는 최근 GPT-5.6을 일반 제공하며 Sol, Terra, Luna 모델군과 고난도 작업용 ultra 설정을 소개했다. 이번 PDF가 검증을 통과한다면, 고비용 추론과 에이전트형 작업 조율이 수학·과학 연구에서 어떤 역할을 할 수 있는지 보여주는 사례가 된다.

반대로 검증 과정에서 오류가 드러나더라도 의미는 남는다. AI가 만든 증명 초안이 연구자에게 새로운 접근법을 제시했는지, 기존 정리를 잘못 적용했는지, 또는 검증 도구와 인간 전문가의 역할을 어떻게 재정의해야 하는지가 중요한 쟁점으로 떠오를 수 있기 때문이다. AI 기반 과학 연구가 본격화될수록 성과 발표의 속도뿐 아니라, 검증 절차와 책임 소재를 함께 설계하는 일이 더 중요해질 전망이다.

출처: OpenAI CDN 문서 https://cdn.openai.com/pdf/04d1d1e4-bc75-476a-97cf-49055cd98d31/cdc_proof.pdf
출처: Noam Brown X 게시물 https://x.com/polynoamial/status/2075646048425431469