AI가 40년 묵은 추측을 증명했다는데

Cycle Double Cover는 1970년대부터 열려 있던 그래프이론 난제다. 모델이 풀었다는 것보다, 증명을 사람이 검증하는 단계가 병목이 됐다는 게 더 흥미롭다. 생성은 싸지고 검증이 비싸지는 방향 — 코드리뷰가 짜는 것보다 오래 걸리는 거랑 똑같은 구조다.