47년 난제, AI가 풀었다
오픈AI GPT-5.6, 그래프 이론 미해결 문제에 도전했어요
마마우스워리어· 2026년 7월 12일· 오픈AI, OpenAI, GPT-5.6, 수학난제, AI연구, 그래프이론· 1
64개 에이전트가 1시간 만에 풀었다 — GPT-5.6 솔 울트라, 47년 그래프 난제 증명
증명까지 걸린 시간
1시간
서브에이전트 64개 병렬 투입
1979년부터 이어진 난제
폴 시모어가 제기한 뒤 47년간 미해결 상태였던 그래프 이론의 유명한 문제예요.
64개 에이전트가 동시에
동원된 서브에이전트 수
64개
큐빅 그래프 축소 + 8-플로 정리 활용
오픈AI 연구원 에단 나이트
"프롬프트와 증명을 그대로 공개합니다. 여러분이 직접 확인해보세요"
— X(트위터) 게시글
아직 검증은 진행 중
수학계가 증명을 검토 중이고, 린(Lean) 형식 검증은 아직 안 됐어요. '주장' 단계라 신중한 접근이 필요해요. ⚠️
1 / 9