오픈AI "GPT-5.6 솔 울트라, 50년 수학 난제 1시간 만에 증명"

[지디넷코리아]오픈AI가 최신 인공지능(AI) 모델 GPT-5.6 솔 울트라(Sol Ultra)가 그래프 이론 분야의 50년 난제를 1시간 만에 증명했다고 주장하며 수학계의 관심이 쏠리고 있다.12일 에단 나이트 오픈AI 연구원은 소셜 플랫폼 엑스(X)를 통해 GPT-5.6 솔 울트라가 그래프 이론 분야의 대표적 미해결 문제인 '사이클 더블 커버 추측(Cycle Double Cover Conjecture)'을 증명한 논문과 프롬프트를 공개했다고 밝혔다.사이클 더블 커버 추측은 1973년 조지 세케레스(George Szekeres)와 1979년 폴 세이모어(Paul Seymour)가 각각 제기한 그래프 이론의 대표적 난제다. 이 추측은 "모든 브리지 없는(bridgeless) 그래프에 대해 모든 간선이 정확히 두 번씩 포함되는 사이클들의 집합이 존재하는가"를 묻는다.그래프 이론에서 그래프는 점과 선으로 이뤄진 네트워크를 의미한다. 도로망, 통신망, 전력망 등을 수학적으로 단순화해 표현