Svmuu 소식: OpenAI 연구원 에단 나이트(Ethan Knight)는 12일 소셜 플랫폼 X를 통해 GPT-5.6 Sol Ultra가 그래프 이론의 대표적인 미해결 문제인 ‘순환 이중 덮개 가설’에 대한 증명 논문과 프롬프트를 생성했다고 밝혔다. 이 모델은 최대 64개의 병렬 서브 에이전트 구성에서 인터넷 검색을 사용하지 않고 약 1시간 만에 결과 생성을 완료했다.
OpenAI가 공개한 논문은 총 3페이지로, 먼저 문제를 3차 정규 그래프로 환원한 뒤 8-flow 정리와 GF(3) 라벨을 사용하여, 각 변이 정확히 두 사이클에 포함되는 구조를 선형 대수학적 방법으로 구성했다. 이 결과는 아직 학술지에 게재되거나 동료 심사를 거치지 않았으며, Lean이나 Coq 등의 형식화 검증 시스템을 통해 검증되지도 않았다. 영국 맨체스터 대학교의 수학자 토마스 블룸(Thomas Bloom)은 이 증명을 “매우 훌륭하다”고 평가했으나, 참고 문헌 인용이 부족하다고 지적했다. (ZDNet Korea Semiconductor).