OpenAI: GPT-5.6 Sol Ultra, 50년 그래프 이론 난제를 1시간 만에 증명

Odaily星球日报讯 OpenAI 연구원 이선 나이트(Ethan Knight)가 12일 소셜 플랫폼 X를 통해 GPT-5.6 Sol Ultra가 그래프 이론의 미해결 난제인 '순환 이중 덮개 추측(Cycle Double Cover Conjecture)'에 대한 증명 논문과 프롬프트를 생성했다고 밝혔습니다. 이 모델은 최대 64개의 병렬 하위 에이전트 구성에서 인터넷 검색 없이 약 1시간 만에 결과를 생성했습니다.

OpenAI가 공개한 논문은 총 3페이지 분량으로, 먼저 문제를 3차 정규 그래프(cubic graph)로 귀납한 후, 8-flow 정리(8-flow theorem)와 GF(3) 레이블을 사용하고 선형대수학적 방법을 통해 각 간선이 정확히 두 개의 순환에 포함되는 구조를 구성합니다. 이 결과는 아직 학술지 게재, 동료 심사를 거치지 않았으며 Lean 또는 Coq 등 형식 검증 시스템을 통한 검증도 완료되지 않았습니다. 영국 맨체스터 대학교의 수학자 토마스 블룸(Thomas Bloom)은 해당 증명이 "매우 뛰어나다"고 평가했지만, 참고문헌 인용이 부족하다고 지적했습니다.(ZDNet Korea Semiconductor).