신경외과 의사가 16시간의 GPT-5.6 실행으로 22년간 수학자들을 당혹시킨 추측을 증명하다
OpenAI
신경외과 의사인 진산무 박사가 행렬 해석의 오랜 난제인 크루제이크 추측을 증명했으며, OpenAI의 GPT-5.6 Sol의 16시간 자율 실행 지원을 받았습니다. 그의 증명은 추측의 저자를 포함한 여러 수학자들에 의해 검증되었으며, 며칠 후 두 번째 독립적인 증명이 나왔습니다. 이는 아마추어와 AI 모델이 함께한 주요 수학적 기여의 이정표입니다.
수학자 알렉스 타운젠드는 거의 1년 동안 ChatGPT에 크루제 추측(Conjecture)에 대한 증명을 요청해왔으나, 해당 모델은 일관되게 거짓이거나 불완전한 증명만 내놓았습니다. 2026년 7월 30일, ChatGPT는 3일 전에 게시된 프리프린트 링크를 돌려주며 해결책을 제시했다고 주장했습니다. 타운젠드와 동료 안나 그린바움는 이 링크를 회의적인 태도로 읽었으나, 곧 이것이 진품임을 깨달았습니다. 저자인 진 산무(Shanmu Jin) 박사는 신경외과 레지던트이자 박사후 연구원으로, 전문 수학자가 아닙니다. 그는 경두개 초음파 연구 중 크루제 추측에 관심을 갖게 되었고, 인터넷 접속이 불가능한 상태에서 ChatGPT Work에서 GPT-5.6 Sol과 16시간 동안 독립적으로 작업하며 증명 전략을 수립했습니다. 해당 모델은 진의 요청에 따라 다양한 전략 포트폴리오, 적정 감사, 반례 기반 제거를 사용했습니다. 이 증명은 타운젠드, 그린바움, 미셸 크루제에 의해 독립적으로 검증되었으며, 이후 수학자 에밀 로리스트와 펠릭스 슈베닝거가 ChatGPT 5.6 Pro를 사용한 두 번째로 다른 증명을 제시하며 더욱 강화되었습니다. 이 사례는 수학적 발견의 패러다임 전환을 강조하며 동료 검토의 지속 가능성에 대한 질문을 제기합니다.
출처: Habr — хаб ИИ —
원문
