OpenAI, 50년 난제 'Cycle Double Cover 추측' 증명에 성공
GPT-5.6 Sol Ultra produces proof of the Cycle Double Cover Conjecture [pdf]
OpenAI가 발표한 논문에서 GPT-5.6 Sol Ultra가 그래프 이론의 난제인 Cycle Double Cover 추측을 증명했다고 주장한다. 이 추측은 모든 브리지 없는 무방향 그래프가 각 모서리를 정확히 두 번 포함하는 사이클 집합을 가진다는 내용으로, 1970년대 이후 수많은 수학자들이 도전해 왔다. 증명은 GPT-5.6 Sol Ultra가 단독으로 수행했으며, Codex가 논문 작성을 도왔다.
이 노트의 증명은 전적으로 GPT-5.6 Sol Ultra에 의한 것이며, 논문 작성은 Codex(및 GPT-5.6 Sol)와 함께 이루어졌다.