GPT-5.6 Sol, 64 에이전트로 50년 미해결 수학 추측 증명 주장

한 줄 요약: GPT-5.6 Sol Ultra가 64개 병렬 서브에이전트를 동원해 50년 미해결 그래프 이론 난제 '사이클 이중 피복 추측'을 1시간 이내 증명했다고 OpenAI가 발표했다.

핵심

• 1973년 Szekeres, 1979년 Seymour가 각각 독립 제시한 난제 — 모든 브리지 없는 그래프에 각 간선을 정확히 두 번 포함하는 사이클 집합이 존재하는지를 묻는 문제
• GPT-5.6 Sol Ultra가 64개 서브에이전트를 병렬 실행해 약 1시간 만에 후보 증명 도출
• OpenAI는 700단어 분량의 오케스트레이션 프롬프트를 전문 공개해 멀티에이전트 기법 공유
• 단서: 수학계 동료심사가 아직 미완료; 이 추측은 과거에도 결함 있는 증명이 제출·철회된 전례 있음

왜 중요한가

검증될 경우 AI 멀티에이전트 협업이 수십 년 묵은 수학 난제를 해결한 최초 사례가 되며, AI의 형식적 과학 추론 능력에 대한 기대치를 새로운 차원으로 끌어올릴 수 있다. 다만 독립 검증 전까지는 잠정 결과로 봐야 한다.

더 보기

• GPT-5.6 Sol Ultra reportedly solves 50-year-old math problem — The Decoder
• GPT-5.6 Sol Ultra Proves the Cycle Double Cover Conjecture — CryptoBriefing