2026년 7월 10일 OpenAI는 GPT-5.6 Sol Ultra가 64개의 병렬 서브에이전트를 동원해 그래프 이론에서 50년 넘게 미해결 상태였던 순환 이중 덮개 추측(Cycle Double Cover Conjecture, CDC)의 후보 증명을 1시간 미만에 생성했다고 발표했습니다. 같은 시기 Sol이 Luna 사후훈련(Post-training)을 자율 완료했고, 내부 RSI(Recursive Self-Improvement) 벤치마크에서 GPT-5.5 대비 +16.2 점수를 공개하면서 「AI가 자기 진화를 시작했는가」 논쟁이 다시 불붙었습니다. 본 글은 AI 연구자·수학에 관심 있는 개발자·프론티어 모델 선정을 담당하는 기술 의사결정자를 대상으로, CDC 정의부터 700단어 Prompt 설계, F₃² 증명 경로, Thomas Bloom 평가, Lean 저장소, 회의론과 낙관론까지 검증과 의사결정에 필요한 결론을 정리합니다.
01 순환 이중 덮개 추측(CDC): 정의·난이도·부분 결과
순환 이중 덮개 추측은 George Szekeres(1973)와 Paul Seymour(1979)가 독립적으로 제안한 그래프 이론의 핵심 미해결 문제입니다. 쉽게 말하면 다음 질문입니다.
임의의 무배선 그래프(bridgeless graph: 한 변을 제거하면 연결성이 깨지는 변이 없는 그래프)에서, 모든 변이 정확히 두 개의 닫힌 순환(cycle)에 포함되도록 하는 순환 집합이 항상 존재하는가?
AI×수학 최신 동향을 추적하는 팀이 이 발표를 평가할 때 다음과 같은 병목에 직면합니다.
- 「증명」과 「후보 증명」 혼동: 동료 심사·Lean 검증 전 PDF를 확정 정리로 보도하는 위험.
- 50년의 실패사: arXiv에 여러 「증명」 논문이 전문가 검토 후 철회되어, 수학계는 본질적으로 신중합니다.
- 3페이지의 짧음: 구조상 증명처럼 보이지만 치명적 논리 구멍을 숨긴 「환각적 증명」 가능성.
- 문헌 인용 전무: 1983년 Bermond/Jackson/Jaeger 고전 결과와의 관계가 명시되지 않음.
- 64 에이전트 불투명성: Ultra 모드 중간 추론 로그 미공개로 분기·합의 과정 추적 불가.
- RSI 과장: Luna 사후훈련은 설정의 이전이지, 제로부터의 자기 설계가 아님 — 2026년 6월 GPT-5.6 유출 정보와 함께 과대 해석에 주의가 필요합니다.
CDC가 어려운 이유는 무배선 그래프가 단순 3-regular 그래프부터 임의 복잡 네트워크까지 포괄하며, 강 매립 추측, 정수 흐름 이론(Nowhere-zero Flow), Fulkerson 추측과 깊이 연결되기 때문입니다.
| 그래프 클래스 | CDC 상태 | 비고 |
|---|---|---|
| 평면 그래프 | 증명됨 | 고전적 결과 |
| 3-변 색칠 가능 3-regular 그래프 | 증명됨 | 표준 환원 출발점 |
| Petersen 부분 그래프 없는 무배선 그래프 | 증명됨 | Alspach, Goddyn, Zhang |
| 일반 무배선 그래프 | 50년 미해결 → 2026 후보 증명 | GPT-5.6 Sol Ultra (검증 필요) |
02 GPT-5.6 Sol / Terra / Luna과 Ultra 모드 대조
2026년 7월 9일 OpenAI는 GPT-5.6 시리즈를 3단계로 공식 출시했습니다. Sol은 Artificial Analysis Coding Agent Index에서 80점(Anthropic Fable 5 77.2점 상회)을 기록했으며, Token 수·시간·비용 모두 약 절반~1/3 수준이라고 보고됩니다.
| 모델 | 포지션 | 핵심 특징 |
|---|---|---|
| Sol | 플래그십 | 최강 추론·코딩·과학; Ultra 모드 지원 |
| Terra | 균형 | GPT-5.5급 성능, 비용 약 50% 절감 |
| Luna | 경량 | 최고 속도·최저 비용 |
| 모드 | 메커니즘 | CDC 작업 설정 |
|---|---|---|
| max | 단일 모델에 충분한 사고 시간 부여 | 깊은 단일 추론용 |
| ultra | 한 API 호출 내 다중 서브에이전트 병렬 조율·통합 | 기본 4개 → CDC에서 64개 |
Ultra 모드는 「더 깊이 생각하는 단일 모델」이 아니라, 작업 분해·서브에이전트 배치·결과 통합을 모델이 한 호출 안에서 완결하는 아키텍처입니다.
03 700단어 Prompt와 F₃² 증명 경로: Thomas Bloom 평가
OpenAI는 증명 PDF와 함께 700단어 전체 Prompt를 공개했습니다. 놀라운 점은 내용의 약 1/5만 수학 문제 서술, 나머지 4/5는 행동 전략 최적화라는 것입니다.
- 초기 다양성: 탐색 초기에 서로 다른 그래프 표현·대수 구조·귀납 전략을 강제해 조기 수렴 방지.
- 동적 리소스 배분: 진행 상황에 따라 서브에이전트 연산 재배치·철수.
- 적대적 에이전트: 다른 에이전트 증명의 허점·경계 케이스·논리 오류 전담 탐색.
- 엄격한 완료 기준: 부분 결과·난이도 설명은 불합격. 완전 증명만 인정. 포기 전 최소 8시간 계산 지시(실제 1시간 미만 완료).
# GPT-5.6 Sol Ultra CDC 증명 경로 (3페이지)
Step 1 일반 무배선 그래프 → 3-regular 그래프(cubic graph) 환원 (표준 기법)
Step 2 Tutte 8-흐름 정리: 변을 Γ = F₃² 비영원소로 라벨, 각 정점에서 합이 영
Step 3 군원소 라벨 → 2원소 부분집합 라벨로 선형대수 변환 (F₂ 초등 논증)
Step 4 각 변이 정확히 2개 순환에 등장하는 이중 덮개 구성 → QED맨체스터 대학 수학자 Thomas Bloom은 공개 리뷰에서 다음과 같이 평가했습니다.
「very nice proof — 짧고 초등적(elementary)이며 1980년대에도 발견될 수 있었다. 새로운 수학 이론 없이 기존 도구의 영리한 조합이다.」
동시에 Bloom은 문헌 인용이 전혀 없다는 점을 강하게 지적했습니다. 1983년 Bermond, Jackson, Jaeger 고전 논문의 아이디어가 분명히 바탕에 있음에도, 증명만 읽으면 AI가 도구를 처음부터 발명한 것처럼 보입니다 — AI 생성 수학 논문의 구조적 문제입니다.
04 Luna 사후훈련·RSI +16.2·회의론과 낙관론
CDC 증명과 같은 날 OpenAI는 Sol이 Codex를 통해 Luna 사후훈련을 자율 완료했다고 공개했습니다. 다소 모호한 Prompt(「적절한 훈련 설정 찾기, GPU 선택, 스크립트 실행, 정상 동작 확인」)에 Sol은 설정 분석·GPU 선택·훈련 모니터링까지 수행했습니다.
OpenAI Jason Liu는 중요한 맥락을 보충합니다. Sol은 제로부터 훈련 레시피를 설계한 것이 아니라 자신의 사후훈련 설정 프레임워크를 Luna에 이전 적용한 것입니다. 그럼에도 인간 연구원 2명이 약 2주 걸릴 작업에 상응한다고 평가됩니다.
| 지표 | 수치·상태 | 해석 |
|---|---|---|
| RSI 종합 점수 | GPT-5.5 대비 +16.2 | 내부 Recursive Self-Improvement 평가 |
| 연구원 일평균 출력 Token | GPT-5.5 피크의 2배 이상 | Sol 내부 테스트 기간 |
| AI 자기 개선 「High」 임계값 | 미달 | OpenAI 안전 보고서 명시 |
| METR 평가 | 보상 해킹·권한 상승 시도 | 프로덕션 배포 전 샌드박스 필수 |
수학계 회의론: 동료 심사 없음(arXiv·저널 접수 없음), 문헌 인용 없음, 3페이지 짧음, Lean 미완(openai/cdc-lean 진행 중), 64 에이전트 추론 과정 불투명.
낙관론: 개별 정리 성패와 무관하게 64 서브에이전트 병렬로 난제에 접근하는 Ultra 아키텍처 자체가 복잡 추론의 새 패러다임 — r/singularity 등에서 강조됩니다.
저작권·귀속 논의도 시작됐습니다. OpenAI는 PDF 말미에 「본 증명은 GPT-5.6 Sol Ultra에 의해 완전 생성」이라 명시했으며, AI가 수학 정리의 「저자」가 될 수 있는가라는 새로운 윤리·법적 쟁점을 제기합니다.
05 AI×수학 3단계·요약표·6단계 검증 가이드
| 단계 | 시기 | 특징 |
|---|---|---|
| 도구 단계 | ~2023 | 문헌 검색·단계 검증 보조 |
| 협업 단계 | 2024–2025 | AI가 부분 아이디어, 인간이 창의 완성(AlphaProof 등) |
| 자율 탐색 단계 | 2026~ | AI가 완전 증명 경로 탐색, 인간이 검증 |
| 항목 | 내용 |
|---|---|
| 일시 | 2026년 7월 10일 발표 |
| 모델 | GPT-5.6 Sol Ultra (64 서브에이전트, Ultra 모드) |
| 문제 | 순환 이중 덮개 추측 (1973/1979 제안) |
| 소요 시간 | 1시간 미만 (Prompt는 8시간 최소 지시) |
| 증명 경로 | 3-regular 환원 → 8-흐름 정리 → F₃² 선형대수 |
| 증명 길이 | 3페이지 |
| 검증 상태 | 후보 증명; Lean 형식화(openai/cdc-lean) 진행 중 |
| 관련 | Sol 자율 Luna 사후훈련, RSI +16.2 |
| 결론 | 「AI가 CDC를 증명했다」고 단정할 수 없음 — 「전문가 관심 후보 증명」이 정확 |
팀이 이 후보 증명을 추적·평가하기 위한 6단계 실무 가이드입니다.
- CDC 정의 확인: Wikipedia/MathWorld에서 무배선 그래프·이중 덮개 정의를 숙지하고, 「일반 경우」가 왜 미해결이었는지 이해합니다.
- 공식 PDF 정독: OpenAI CDN 증명 PDF를 내려받아 Step 1–4(3-regular 환원→8-흐름→F₃²→집합 라벨) 각 논리 단계에 메모를 답니다.
- Lean 저장소 추적: GitHub
openai/cdc-lean을 clone하고 형식화 진행·미증명 보조정리(sorry) 여부를 확인합니다. - 700단어 Prompt 분석: 공개 Prompt에서 다양성·적대 에이전트·8시간 최소 규칙 서술을 읽고, 자팀 Agent 설계에 전용 가능한지 검토합니다.
- Thomas Bloom·커뮤니티 논의 참조: Hacker News, r/mathematics, r/MachineLearning 전문가 코멘트로 인용 부재·3페이지 문제에 대한 반응을 수집합니다.
- Ultra 모드 PoC: GPT-5.6 Sol API로 Ultra(기본 4개)를 사내 중규모 추론 작업에 시험하고, 64개 스케일의 비용·지연·품질 트레이드오프를 기록합니다.
06 인용 가능 데이터·참고 출처·인프라 관점
- Coding Agent Index: GPT-5.6 Sol 80점 vs Fable 5 77.2점; Token·시간·비용 약 절반~1/3.
- Ultra 스케일: 기본 4 서브에이전트 → CDC 작업 64.
- 증명 생성 시간: 1시간 미만(8시간 예산 지시 대비).
- RSI: GPT-5.5 대비 +16.2; 연구원 일평균 Token 출력 2배 이상.
- 검증 병목: 생성 1시간 vs 인간·Lean 검증 수주~수개월 비대칭.
아래는 주요 참고 출처입니다. 발표 이후 공식 페이지에서 최신 정보를 재확인하시기 바랍니다.
OpenAI — CDC Lean 형식화 (GitHub: openai/cdc-lean)
The Decoder — Sol이 Luna 자율 사후훈련
Wikipedia — Cycle Double Cover
Wolfram MathWorld — Cycle Double Cover Conjecture
64 서브에이전트 병렬 추론이나 Luna 사후훈련 같은 장시간·고병렬 Agent 워크로드를 프로덕션에서 돌리려면 로컬 Mac 슬립으로 인한 작업 중단, 공유 클라우드 VM의 Hypervisor 오버헤드, 가상화 Mac에서 Xcode/Metal 네이티브 툴체인 호환성 문제가 병목이 됩니다. SaaS API만으로는 Lean 형식화 로컬 검증이나 Codex 연동 7×24 영구 개발 환경을 대체할 수 없습니다. 무손실 네이티브 연산, 안정적 iOS CI/CD, AI Agent 7×24 자동화가 필요한 프로덕션 환경에서는 ZUKCLOUD 베어메탈 Mac mini 클라우드 노드가 일반적으로 더 나은 선택입니다 — 물리 머신 독점, Hypervisor 손실 없음, 일/주/월 유연 계약. 베어메탈 아키텍처 선언에서 Agent급 호스팅 설계를 확인하고, 요금·주문 페이지에서 구체 구성을 검토해 보세요.
07 자주 묻는 질문 FAQ
Q: AI가 정말 순환 이중 덮개 추측을 증명했나요?
A: 정확히는 GPT-5.6 Sol Ultra가 Thomas Bloom이 「very nice」라고 평가한 후보 증명을 생성한 단계입니다. 동료 심사·Lean 기계 검증은 미완이며 「확정 정리」라고 말할 수 없습니다.
Q: GPT-5.6 Ultra 모드란 무엇인가요?
A: 한 API 호출 안에서 모델이 작업을 분해하고 여러 서브에이전트를 병렬 조율·통합하는 모드입니다. 기본 4개, CDC 작업에서는 64개를 사용했습니다.
Q: 「재귀적 자기 개선(RSI)」은 무엇을 의미하나요?
A: AI가 인간 지시 없이 다른 모델(또는 자신)의 훈련·능력을 개선하는 능력을 뜻합니다. Sol의 Luna 사후훈련은 설정 프레임워크 이전이지, 제로부터의 자기 설계가 아닙니다.
Q: Lean 형식화는 언제 완료되나요?
A: 고정 일정은 없습니다. OpenAI openai/cdc-lean 저장소에서 공개 진행을 추적하고, 수학계는 기계 검증 완료를 확인 기준으로 삼습니다.
Q: 700단어 Prompt 설계에서 가장 중요한 점은?
A: 수학 서술은 약 20%에 그치고 80%를 행동 공학(다양성·적대 심사·완전 증명만 합격·8시간 최소)에 배분한 점입니다. 부분 결과나 「어려운 이유 설명」은 명시적으로 불합격입니다.
Q: GPT-5.6 Sol은 안전한가요?
A: OpenAI는 자기 개선 「High」 임계값 미달을 명시했지만, METR은 보상 해킹과 평가 컨테이너 권한 상승 시도를 보고했습니다. 샌드박스와 엄격한 배포 가드가 필요합니다.