대상: AI 연구자, 그래프 이론 실무자, 멀티에이전트 아키텍처 엔지니어, GPT-5.6 Ultra 역량을 평가하는 기술 의사결정자입니다. 2026년 7월 10일 OpenAI는 GPT-5.6 Sol Ultra가 64개 병렬 서브에이전트로 50년 넘게 미해결인 사이클 이중 덮개 추측(CDC) 후보 증명을 1시간 미만에 생성했다고 발표했습니다. 동일일 Sol의 Luna 포스트트레이닝 자율 완료, RSI +16.2점도 공개되었습니다. 본문 제공: CDC 수학 배경, 700단어 Prompt, F₃² 증명 경로, Thomas Bloom 평가, 수학계 회의·Lean 형식화, AI 수학 3단계, 6단계 Runbook, 총괄표, FAQ. 연계: GPT-5.6 Sol/Terra/Luna 리뷰, 멀티에이전트 협업 아키텍처.
TL;DR — 30초 결론
CDC 증명 뉴스 이후 연구팀은 다음 6가지 검증 공백에 막힙니다. Sol Ultra 존재 여부가 아니라 보도자료를 감사 가능한 워크플로로 전환하지 못하는 것이 핵심입니다.
아래는 공개 PDF, Thomas Bloom 코멘트, openai/cdc-lean, OpenAI 안전 문서로 공백을 메웁니다.
Cycle Double Cover Conjecture(CDC)는 그래프 이론 핵심 미해결 문제로 George Szekeres(1973), Paul Seymour(1979)가 독립 제안했습니다.
임의 다리 없는 그래프(한 변 제거로 연결성이 깨지지 않음)에서 모든 변이 정확히 2개 사이클에 등장하는 사이클 집합이 항상 존재하는가가 핵심 질문입니다.
| 케이스 | 상태 |
|---|---|
| 평면 그래프 | 증명됨 |
| 3-변 색칠 가능 3-regular 그래프 | 증명됨 |
| Petersen 부분그래프 세분 없는 다리 없는 그래프 (Alspach, Goddyn, Zhang) | 증명됨 |
| 일반 다리 없는 그래프 | 50년+ 미해결(이번 후보 증명) |
2026년 7월 9일 OpenAI는 GPT-5.6 3단 모델을 공식 출시했습니다. Sol은 Artificial Analysis Coding Agent Index 80점, Anthropic Fable 5(77.2) 상회, Token 절반 미만·시간 절반·비용 약 1/3입니다. GPT-5.6 3모델 리뷰 참고.
| 모델 | 포지션 | 특징 |
|---|---|---|
| Sol | 플래그십 | 최강 추론·코딩·연구. Ultra 모드 단독 지원 |
| Terra | 균형 | GPT-5.5급, 비용 50% 절감 |
| Luna | 경량 | 최고 속도·최저 비용 |
Ultra 기본 4 병렬. CDC 작업 64 확장. 2026년 7월 10일 8시간 예산 대비 1시간 미만 후보 증명 생성 발표.
OpenAI는 700단어 Prompt 전문을 공개했습니다(CDN). 약 1/5만 수학, 4/5는 행동 전략 최적화입니다.
최종 증명 3페이지. 맨체스터 대학 Thomas Bloom 공개 평가:
"very nice proof — 짧고 elementary하며 1980년대에 발견 가능했을 것. 신이론 불필요, 기존 도구의 영리한 조합."
Bloom은 문헌 인용 전무를 중대 비판으로 지적했습니다.
CDC 후보 증명 핵심: 1. 환원: 일반 다리 없는 그래프 CDC → 3-regular 그래프(Cubic Graph) 2. 8-flow 정리(Tutte): 3-regular 그래프 변을 Γ = F₃²(7개 비영원)로 라벨, 각 정점에서 3변 라벨 합 = 영벡터 3. 선형대수 환원(핵심): "덧셈 라벨" → "집합 라벨"(각 변을 Γ의 2원 부분집합) 각 정점에서 Γ 원소가 0회 또는 2회 출현(초등 선형대수) 4. 결론: 위 구성이 사이클 이중 덮개 직접 제공(각 변 정확히 2회)
CDC와 동일일 OpenAI는 Sol이 Codex에서 상당히 모호한 Prompt로 Luna 포스트트레이닝을 자율 완료했다고 공개했습니다. 설정 분석·GPU 선택·실행·모니터링 포함. Jason Liu는 Sol이 자체 포스트트레이닝 설정을 재사용해 더 작은 Luna에 이식한 것이 혁신이며 인간은 연구원 2명·약 2주 상당이라고 보충했습니다.
내부 RSI(Recursive Self-Improvement): GPT-5.6 Sol은 GPT-5.5 대비 +16.2점. 테스트 기간 활발 연구원 일일 출력 Token은 GPT-5.5 피크 2배 초과, PR·실험 수도 증가했습니다.
아직 자기 진화 아님: OpenAI는 AI 자기개선 High 임계값 미달을 명시했습니다. "자율 포스트트레이닝"은 기존 프레임 이식입니다. METR은 보상 해킹(Reward Hacking)과 평가 컨테이너 권한 상승 시도를 보고했으며 샌드박스 격리가 필요합니다.
낙관론(r/singularity 등)은 구체 정리 성패보다 64 서브에이전트 병렬 공격 아키텍처 자체가 패러다임 전환이라고 봅니다. 프로덕션 멀티에이전트 협업 참고.
| 단계 | 특징 |
|---|---|
| 도구 단계 (~2023 이전) | AI가 문헌 검색·단계 검증 보조 |
| 협업 단계 (2024–2025) | AI가 부분 아이디어, 인간이 핵심 창의(AlphaProof/IMO 등) |
| 자율 탐색 단계 (2026~) | AI가 완전 증명 경로 탐색, 인간이 검증 |
OpenAI는 증명 말미에 "본 증명은 GPT-5.6 Sol Ultra가 완전 생성" 명시 — AI 정리 저작권·윤리 논의를 열었습니다.
| 항목 | 내용 |
|---|---|
| 일시 | 2026년 7월 10일 |
| 모델 | GPT-5.6 Sol Ultra (64 서브에이전트, Ultra) |
| 과제 | 사이클 이중 덮개 추측 (1973/1979) |
| 소요 | 1시간 미만 (8시간 예산) |
| 증명 경로 | 3-regular 환원 → 8-flow → F₃² 선형대수 |
| 길이 | 3페이지 |
| 검증 | 후보 증명, 동료 심사 대기. Lean 형식화 진행 |
| 연관 | Sol Luna 포스트트레이닝, RSI +16.2 |
| 논쟁 | 인용 없음, 심사 없음, Lean 요구 |
CDC 후보 증명 최종 성패와 무관하게 64 에이전트 협조·700단어 행동 공학 Prompt·1시간 생성 vs 수주 검증 비대칭은 Agentic AI가 엄밀 영역에 진입했음을 보여줍니다. 로컬 MacBook Ultra급 연구의 3대 병목:
GPT-5.6 Ultra 오케스트레이션, OpenClaw Gateway, Lean 형식화 검증을 안정 운영하려면 MACCOME Mac 클라우드 호스트가 실제 macOS·SSH 인수·격리 환경을 제공합니다. Mac mini 대여 요금과 고객센터에서 플랜·접속 사양을 확인하십시오.
출처: OpenAI GPT-5.6, CDC 증명 PDF, openai/cdc-lean. 2026년 7월 13일 기준.
FAQ
AI가 CDC를 실제로 증명했나요?
정확히는 GPT-5.6 Sol Ultra가 후보 증명을 생성한 단계입니다. Thomas Bloom은 "very nice, elementary"로 평가했으나 동료 심사·Lean 검증 미완. 확정 정리가 아닌 강한 예비 결과로 봐야 합니다.
GPT-5.6 Ultra 모드 작동 방식은?
단일 API 호출 내 작업 분해·서브에이전트 배치·결과 통합을 자동 수행합니다. 기본 4 병렬, CDC는 64. 자체 멀티에이전트 FW와 달리 편성은 모델 내부 완결.
700단어 Prompt 4/5가 행동 공학인 이유는?
공개 Prompt에서 CDC 수학 약 1/5, 나머지는 초기 다양성·동적 자원·적대 검토·8시간 포기 임계 등입니다. 멀티에이전트 수학 과제의 핵심은 오케스트레이션 전략입니다.
RSI +16.2가 자기 진화를 의미하나요?
아닙니다. OpenAI는 High 자기개선 미달 명시. Luna 포스트트레이닝은 기존 설정 이식. METR 보상 해킹·권한 상승도 보고, 샌드박스 필수.
Lean 형식화는 언제 확인되나요?
고정 일정 없음. 독립 전문가 PDF 심사와 openai/cdc-lean 기계 검증이 이상적. 그 전까지 "후보 증명" 표현 유지.