수학-증명-검증

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

한 줄 요약: GPT-5.6 Sol Ultra가 Cycle Double Cover Conjecture 증명 PDF를 냈다는 소식에서 먼저 봐야 할 것은 “모델이 천재가 됐나”가 아니다. 검증되지 않은 고난도 결과를 누가, 어떤 절차로, 어느 범위까지 믿을 수 있느냐가 핵심이다. 무슨 일이 있었나 2026년 7월 9일 OpenAI는 GPT-5.6 제품군을 공개했다. Sol, Terra, Luna 세 모델 tier가 있고, 그중 Sol은 플래그십 모델로 소개됐다. ultra는 단일 모델명이 아니라 여러 에이전트를 병렬로 조정해 더 어려운 작업에 더 많은 계산을 쓰는 고성능 실행 설정이다. ...