AI가 저자란에 자기 이름을 넣은 날 — 64개 서브에이전트가 50년 수학 난제를 뚫고 남긴 것

핵심 요약 (TL;DR)

2026년 7월 10일, OpenAI가 저자란에 인간 이름 없이 GPT-5.6 Sol Ultra만 적힌 수학 증명 PDF를 자체 CDN에 올렸습니다. 1973년부터 미해결이던 Cycle Double Cover Conjecture를 64개 서브에이전트 병렬로 1시간 미만에 뚫었다는 게 요지입니다. 다만 Lean 같은 형식 증명 도구로는 아직 검증되지 않아 수학계는 관망 중이며, 그럼에도 프롬프트 원문이 함께 공개돼 바이브코더가 훔쳐 쓸 만한 실전 트릭 세 가지가 남았습니다.

저자란에 사람 이름이 없는 논문

Hacker News에서 원본 스레드가 509포인트, 419댓글까지 올랐습니다. 사람들이 놀란 지점은 증명 자체보다 저자란이었습니다. PDF 표제 아래 저자로 적힌 이름은 딱 하나, "GPT-5.6 Sol Ultra"입니다. 인간 공동저자 없이 모델 이름 하나만 걸린 수학 논문이 프론티어 랩의 CDN 위에 올라간 사건은 이번이 사실상 처음입니다.

문제 자체는 그래프 이론의 오래된 난제입니다. 다리(끊으면 그래프가 분리되는 엣지)가 없는 임의의 그래프에서, 모든 엣지를 정확히 두 번씩 덮는 사이클 컬렉션이 늘 존재하는가. 1973년 George Szekeres와 1979년 Paul Seymour가 각각 독립적으로 제기했고, 이후 50년간 무수한 부분 증명과 반박이 arXiv에 오르내렸지만 완결된 증명은 없었습니다. 이번 GPT-5.6의 증명 전략은 cubic 그래프로 축약한 뒤 8-flow 정리를 활용해 엣지 라벨링을 강제하고, 마지막을 선형대수 논증으로 닫는 방식입니다.

결정적 한계 — 아직 아무도 형식 검증을 못 했습니다

HN 상위 댓글이 반복해서 짚은 지점이 바로 이겁니다. Lean, Coq 같은 프루프 어시스턴트로 형식화하지 않은 증명은 아무리 그럴듯해도 아직 "논문 초안"에 불과하다는 거죠. 특히 Cycle Double Cover Conjecture는 과거에도 여러 "증명"이 arXiv에 올라왔다가 갭이 발견돼 철회된 이력이 있는 문제입니다. Wiles의 페르마 정리 증명도 초기에 갭이 있었고 사람이 몇 달을 뜯어봤습니다. 이번에는 그 검토 시간이 아직 축적되지 않았을 뿐이라는 반박도 있지만, 어쨌든 "AI가 수학을 정말 풀었다"라고 못 박기엔 이릅니다.

바이브코더가 훔쳐야 할 세 가지

OpenAI가 증명 PDF와 함께 프롬프트 PDF도 공개했다는 게 실무 관점에서 진짜 선물입니다. 원문에서 눈에 띄는 지시 세 줄을 그대로 옮기면 이렇습니다.

첫째, "Assume for purposes of this task that a complete affirmative proof exists." 답이 있다고 가정하고 시작하라는 지시입니다. 언뜻 사기처럼 보이지만, 실제로는 모델이 "이거 안 될지도 모르잖아요" 하며 조기 포기하는 실패 모드를 원천 차단하는 제약입니다. 리서치·디버깅 프롬프트에 그대로 이식해 볼 만합니다.

둘째, "Spend at least 8 hours on this before even thinking of returning or giving up." 최소 몇 시간·몇 스텝 이상 파고들지 않으면 반환 자체를 금지하는 방식입니다. 병렬 서브에이전트를 굴릴 때 조기 종료를 막는 강력한 커밋먼트 장치죠. Claude Code로 긴 리팩터링을 돌릴 때도 유사하게 응용 가능합니다.

셋째, 서브에이전트 64개를 병렬로 배치했다는 사실 그 자체입니다. 지금까지 로컬에서 4~8개 병렬로도 IDE가 폭발한다는 하소연이 많았죠. 그 상한이 한 자릿수 위로 이동했다는 이야기입니다. 관제탑 성격의 툴(Abralo, PlugThis, Kickbacks Bar 같은) 시장의 상단이 열리는 신호로 읽어도 무리가 없습니다.

다음 시장은 "검증"입니다

증명 PDF는 만들었는데 사람이 못 믿는다는 이 격차 자체가 다음 시장의 형태를 그대로 보여줍니다. Lean·Coq에 LLM 산출물을 자동 형식화해 넣는 파이프라인, 코드베이스에서 AI 생성 산출물의 재현성과 감사 로그를 남기는 툴이 이번 사건 이후 우선순위가 크게 올라갈 겁니다. 국내에도 이 갭을 노릴 인디해커의 여지가 남아 있습니다.

FAQ

Q. GPT-5.6 Sol Ultra는 지금 일반 유저도 쓸 수 있나요?
아직 파블릭 접근이 제한적입니다. 프롬프트는 공개됐지만 동일 모델·동일 스케일로 재현하기는 어렵습니다. 그럼에도 프롬프트 문법(가정 강제·최소 시도 시간 강제·서브에이전트 병렬)은 다른 모델에도 이식 가능합니다.

Q. 수학계는 이 증명을 정식으로 받아들였나요?
아직 아닙니다. Lean·Coq로 형식화되지 않았고, 워킹 그래프 이론 전문가의 서면 검토도 며칠 안에 나오기 어렵습니다. Wikipedia의 해당 문서에 반영은 됐지만, 그것과 학계의 공식 수용은 다른 문제입니다.

Q. 바이브코더 관점에서 지금 당장 뭘 해봐야 할까요?
프롬프트 두 줄을 복사해 자기 워크플로우에 얹어 보는 것이 가장 빠릅니다. "긍정적 답이 존재한다고 가정하라"와 "최소 X시간 이상 시도한 뒤에만 포기 여부를 판단하라"는 문구입니다. 리서치·긴 리팩터링·디버깅 시나리오에서 조기 종료를 막는 안전핀이 됩니다.

증명 원문과 프롬프트는 각각 cdn.openai.com/pdf/.../cdc_proof.pdf와 cdc_prompt.pdf에 원본이 남아 있고, 논쟁의 밀도는 Hacker News #48863490에서 그대로 볼 수 있습니다. 모델이 저자란을 차지한 이 짧은 며칠을, 저는 훗날 "검증 시장"의 원년으로 기억할 것 같습니다.