OpenAI가 방금 “AI가 당신의 일자리를 빼앗을 것”이라는 헤드라인이 촌스럽게 느껴질 정도의 일을 해냈다. 최신 모델인 GPT-5.6 Sol Ultra는 약 반세기 동안 수학자들이 연구해온 문제인 사이클 더블 커버 추측(Cycle Double Cover Conjecture)에 대해 기계적으로 검증된 증명을 생성했으며, 그것을 1시간도 채 되지 않아 해냈다.

이 증명은 2026년 7월 10일 OpenAI의 CDN에 PDF 형태로 공개되었고, 저자는 전적으로 해당 모델로 표기되었다. 문서 작성에는 Codex가 보조 역할을 했다.

사이클 더블 커버 추측은 1973년 조지 세케레시(George Szekeres)와 1979년 폴 시모어(Paul Seymour)에 의해 각각 독립적으로 제기되었다. 쉽게 말하면, “브리지(해당 간선을 제거하면 그래프가 분리되는 간선)가 없는 모든 그래프에 대해, 모든 간선을 정확히 두 번씩 포함하도록 하는 사이클들의 집합을 찾을 수 있다”는 주장이다.

(후략)