AI 에이전트 수학 증명 검증법
한 줄 요약: AI 에이전트가 어려운 증명이나 보안 분석을 해냈다는 소식보다 실무에 더 중요한 질문은 검증 책임을 어디에 둘 것인가다. 멀티 에이전트, 자동화된 테스트 하네스, 형식 검증은 생산성을 높일 수 있지만, 검증 경로가 같은 모델에 묶이면 운영 리스크도 함께 커진다. 왜 지금 이슈인가 GPT-5.6 Sol Ultra가 사이클 이중 덮개 추측(Cycle Double Cover Conjecture)의 증명을 만들었다는 PDF가 Hacker News에 올라오면서, 논쟁은 모델 성능보다 검증 방식으로 옮겨갔다. 이 추측은 모든 유한한 다리 없는 무방향 그래프(bridgeless undirected graph)에 대해, 각 간선이 정확히 두 번 포함되도록 사이클들의 모음을 만들 수 있다는 명제다. PDF는 이를 3쪽짜리 증명으로 제시하고, 증명은 GPT-5.6 Sol Ultra가 만들었으며 Codex가 작성에 관여했다고 밝힌다. ...