-
GPT 5.6 Sol Ultra, 수학계의 50년 된 난제 해결
https://x.com/i/status/2075919387593425396
OpenAI에서 이번에 해결한 50년 묵은 Cycle Double Cover 추측 증명을 오늘 읽어봤습니다. 학부 그래프이론 수업에서 강의하는 Jaeger의 nowhere-zero 8-flow 정리로 시작해서... 기발한 방식으로 각 edge에 두 개씩 값을 주는 방식을 잘 정의하더니 선형대수로 마무리 했더군요. 대단합니다.
https://t.co/nzJZlrUg3J
— 상일 (@sioum)
July 11, 2026
어떤 문제인가?
Cycle Double Cover Conjecture(사이클 이중 피복 추측)입니다.
1970년대 Tutte, Itai & Rodeh,…
원문 보기 →