베이징 신경외과 전공의 진산무, 16시간 자율 구동 GPT-5.6-Sol로 22년 난제 '크루제 추측' 증명

2026년 7월, 베이징의 신경외과 전공의 진산무(金山木)가 수학계를 깜짝 놀라게 했습니다. 그는 22년 동안 풀리지 않던 수치선형대수학의 난제인 크루제 추측(Crouzeix's conjecture)을 해결했습니다. 그의 주요 연구 도우미는 오픈AI의 GPT-5.6-Sol이었으며, 첫 설정 후 어떤 인간의 개입도 없이 약 16시간 동안 ChatGPT Work 플랫폼에서 자율적으로 실행되었습니다 .

진산무는 베이징 협화의대 부속병원(北京协和医学院附属北京协和医院)의 박사후 연구원이자 신경외과 전공의입니다. 그는 정식 고급 수학 교육을 받지 않았습니다. 학부는 지질학을 전공했고, 의학 박사 학위를 가지고 있습니다 . 그는 경두개 뇌 초음파 연구에 필요한 수학 이론을 독학하던 중 이 문제를 처음 접했습니다. 연산자 노름(operator norm)과 수치 범위(numerical range)는 이 연구에서 자연스럽게 등장하는 개념입니다 .

그가 해결한 문제는 크루제 추측입니다. 이는 2004년 프랑스 수학자 미셸 크루제(Michel Crouzeix)가 제안한 것으로, 임의의 정사각 복소행렬 A와 다항식 p에 대해 연산자 노름 ||p(A)||은 수치 범위 W(A)에서 |p|의 최댓값의 최대 2배를 넘지 않는다는 주장입니다 . 정확한 상수인 2는 22년 동안 증명되지 않았습니다. 이전 연구에서는 약 2.414까지만 증명되었습니다 .

진산무의 자율 실행 설정 방법

진산무의 접근 방식은 단순한 ChatGPT 질의가 아니었습니다. 그는 오픈AI가 이전에 Cycle Double Cover 추측에서 보여준 성공을 참고하여 자율 추론 시스템을 설계했습니다 . 그의 프롬프트 전략은 네 가지 핵심 지시 사항을 포함했습니다:

1. 에어 갭 환경: 모델이 순수하게 독창적인 추론을 하도록 강제하고, 기존 해결책이나 알려진 증명에 의존하는 것을 방지하기 위해 물리적으로 단절된(air-gapped) 환경에서 작동하도록 지시했습니다 .
2. 다중 에이전트 병렬 탐색: 여러 에이전트 인스턴스를 실행하여 여러 솔루션 경로를 병렬로 탐색하게 했으며, 이로 인해 시스템이 단일한 결함 있는 접근 방식으로 조기에 수렴하는 것을 방지했습니다 .
3. 적대적 감사(Adversarial auditing): 후보 전략에 대해 적대적 감사를 적용했습니다. AI가 자신의 추론을 비판하고 반례를 통해 증명을 테스트하도록 지시했습니다 .
4. 조기 중단 금지: 모델이 완전한 증명을 얻을 때까지 멈추지 않도록 명령했습니다 .

실행을 시작한 후 진산무는 시스템을 그대로 두었습니다. "그는 모델을 인터넷에서 차단하고, 시작하고, 떠났습니다. 16시간 후에 증명이 있었습니다"라고 보도는 전하고 있습니다 . 그 16시간 동안 GPT-5.6-Sol은 수천 번의 가설 생성, 테스트, 정제 과정을 실행했습니다 .

증명과 검증 과정

결과는 크루제 추측이 참이라는 증명이었습니다. 즉, 상수 2가 맞다는 것입니다. 이 증명은 2026년 7월 27일 '수치 범위는 2-스펙트럼 집합이다(The Numerical Range Is a 2-Spectral Set)'라는 제목의 사전 인쇄본(프리프린트)으로 게재되었습니다 .

검증 과정은 엄격했습니다. 미셸 크루제 본인—2004년에 이 추측을 처음 제안한 수학자—이 그 주장을 검토하고 그것이 정확하다고 확인했습니다 . 수치 분석가들도 증명을 검토했습니다 . 진산무는 또한 GitHub에 최종 논문, 프롬프트, 반복 초안, Lean 4 형식 증명 코드, 감사 보고서 등 전체 연구 자료를 공개했습니다 .

AI 주도 연구의 의미

진산무의 성취는 문제의 난이도뿐만 아니라 그의 배경과 방법론 때문에 주목할 만합니다. 정식 고급 수학 학위가 없는 신경외과 전공의가 AI 모델을 16시간 동안 자율적으로 실행하여 20년 동안 수학자들을 괴롭혀온 문제를 해결한 것입니다.

이 이야기는 인간이 실험 조건과 추론 프레임워크를 설계하고, AI 모델이 수학 공간의 대규모 자율 탐색을 실행하는 새로운 연구 방식을 보여줍니다. 이는 AI가 수학에서 진정한 연구 파트너 역할을 할 수 있다는 구체적인 증명입니다. 단지 계산이나 검색을 위한 도구가 아니라, 새로운 증명을 생성할 수 있는 시스템입니다.

이 접근 방식이 수학 연구의 표준 방법으로 자리 잡을지는 두고 봐야 합니다. 하지만 지금으로서는 진산무의 결과가 2026년 AI 증강 발견의 가장 놀라운 사례 중 하나로 남아 있습니다.