OpenAI가 주장하는 Navier–Stokes 돌파는 서로 다른 판단을 한 제목에 모은다. 회사는 내부 AI가 88시간 만에 유한 시간 특이점을 구성한 뒤 Lean으로 형식화했다고 말한다. 형식 명제가 공식 문제와 맞는지, 전문가가 논증을 받아들이는지, 공로가 누구에게 있는지는 각각 다른 질문이다. 보도된 연구는 수학계의 통상 검토를 마치지 않았다.
9월 Heidelberg Laureate Forum은 긴장을 드러냈다. 연구자들은 단순히 인간 문제 해결을 기계로부터 지키려는 것이 아니었다. 검증 가능한 답을 빠르게 만드는 일이 이해, 공정한 공로와 공유 과학 역량도 만드는지, 아니면 독점 모델 기업이 무엇을 진보로 볼지 결정하게 하는지 물었다.
모든 유체가 아닌 정밀한 반례에 대한 주장
Navier–Stokes 방정식은 분자 하나씩 추적하지 않고 유체를 연속 물질로 다룬다. 항공기, 기상, 물과 혈류에서 여전히 유용하다. 어려운 문제는 매끄러운 3차원 비압축성 흐름이다. 매끄러운 초기 조건이 계속 매끄러운지, 속도 같은 양이 유한 시간에 무한히 커질 수 있는지 묻는다. 점성의 완화 효과 때문에 조건에 맞는 특이점 구성이 어렵다.
OpenAI는 안으로 회전하며 길게 늘어나는 소용돌이를 만들었다고 한다. 속도가 증가하며 중심은 줄지만 전체 에너지는 유한하다. 중요한 점은 매끄러운 외력이 포함되고 속도가 발산해도 외력은 매끄럽다는 주장이다. 공식 밀레니엄 문제에서 허용하는 두 반례 형식을 충족한다고 말한다. 모든 무외력 형식의 해결이나 유체 방정식이 단순히 ‘틀렸다’는 설명으로 바꿔서는 안 된다.
회사는 관련 유체 방정식 진전 소문을 듣고 2026년 9월 1일 시작해 미공개 내부 모델을 모든 미해결 밀레니엄 문제와 관련 질문에 시험했다고 한다. 약 1만 개 동시 에이전트가 도구와 제한된 교류로 증명·반증 경로를 탐색했다. 결과는 9월 5일, 시작 약 88시간 뒤 나왔으며 GPT-6 Astra의 Lean 형식화와 검증에 추가 17시간이 들었다고 보고했다.
OpenAI는 Navier–Stokes에 메시지 270만 개와 출력 토큰 약 1300억 개, 전체 문제에 490만 개와 약 3000억 개를 보고했다. 독립 감사가 없는 회사 수치로, 하나의 채팅 프롬프트가 아니라 제안, 실패와 확인을 거친 대규모 협력 탐색이다. 생성 모델은 공개 Astra보다 강하다고 하므로 논문과 증명 공개가 일반 사용자의 탐색 재현을 가능하게 하지는 않는다.
Lean이 검사하는 것과 결정하지 못하는 것
Lean은 명시적 정의와 규칙으로 수학을 표현하고 인정된 기초에서 형식 단계가 따라오는지 검사한다. 서술 검토에서 놓친 논리 빈틈을 막을 수 있지만, 인코딩된 명제와 가정이 의도된 밀레니엄 문제인지는 전문가가 확인해야 한다. 내부 형식 일관성이 범위와 해석에 대한 자동 합의는 아니다.
검사기는 우선권, 전략 출처나 충분한 공로 인정도 결정하지 못한다. 논증을 통찰력 있게 만들거나 방법을 가르치고 재사용하고 확장할 수 있는지도 판단하지 않는다. 긴 형식 증명은 그 구조를 이해하는 사람이 적어도 유효할 수 있다. 이는 이해의 문제이며 컴퓨터 지원을 거부할 이유는 아니다.
Clay 규칙은 자격 있는 출판, 광범위한 수학계 수용과 최소 2년의 엄격한 검토 뒤 상세 상 심사를 요구한다. OpenAI는 상을 신청하지 않겠다고 한다. 돈을 포기해도 검토가 짧아지거나 즉시 합의가 생기지 않는다. 독립 전문가는 형식 정리, 읽을 수 있는 구성과 선행 연구를 비교해야 한다.
Geordie Williamson은 경력이 여전히 해결된 문제를 보상하는 동안 풀이와 이해가 갈라질 수 있다고 경고했다. Jacob Tsimerman은 빠른 능력 성장과 Navier–Stokes 해결의 중요성을 강조했다. Peter Scholze는 이해가 이미 부족한 상황에서 빠른 생산 자체의 가치를 물었다. 진보의 내용에 관한 차이지 단순한 낙관과 공포 대립이 아니다.
우선권 의혹이 기술적 반박은 아니다
OpenAI는 시작 소문을 NYU의 Tristan Buckmaster와 Anthropic 직원 Levent Alpöge에 연결했다. 두 사람은 관련된 외력 있는 Euler 문제를 연구했다. Euler 방정식은 점성을 생략하므로 공개된 Navier–Stokes 주장과 같은 프로젝트가 아니다. OpenAI는 에이전트가 앞서 다른 방법으로 무외력 Euler 결과를 독립 획득했다고 하면서, 더 넓은 접근에는 관련 외력 전략이 있다고 인정한다.
회사는 완료 전에 참여자가 둘의 비공개 작업을 보지 않았다고 부인한다. 내부 조사에서 Buckmaster의 이전 Codex 프롬프트가 학습이나 다른 경로로 영향을 줬을 가능성도 배제했다고 말한다. Buckmaster는 경위, 압력, 저자와 소통에 이의를 제기했다. Scientific American은 OpenAI가 자체 결과 전에 진전을 알았다는 그의 생각을 보도했고, 회사 수학자 Sébastien Bubeck는 프롬프트나 증명 사용을 부인했다.
Diego Córdoba와 Luis Martínez-Zoroa의 선행 외력 방법 기여도 역사에 포함된다. Córdoba는 주장된 완성에 놀랐다고 말했다. 고급 수학은 방법, 부분 결과, 대화와 때로 미공개 아이디어를 통해 자란다. 공로는 새로움을 알리고 직장, 지원금, 초청과 지위에 영향을 준다. 전체를 한 모델에 돌리면 이 연결이 사라진다.
두 질문을 분리해야 한다. 공개 증거는 미발표 자료의 부적절한 접근을 확정하지 못했고 OpenAI도 부인한다. 소통, 귀속이나 불평등한 권력 비판은 그 접근을 증명해야만 가능한 것은 아니다. Williamson은 행동을 강하게 비판했고 Michael Harris는 회사를 압박적이고 규범을 흔드는 존재로 묘사한 보도를 설명했다. IEEE 발행 전 회사 답변은 없었다. 이 평가가 정리를 반박하지 않듯 예의 바른 소통도 틀린 증명을 유효하게 만들지 않는다.
독점 자원이 연구 경쟁을 바꾼다
수학은 기업에 매력적인 시험이다. 형식 답은 에세이나 예측보다 객관적으로 확인하기 쉽고 유명 문제는 홍보가 된다. Anthropic은 내부 Claude를 Riemann 가설에 시험해 해결하지 못했지만 관련 경계값에 진전이 있었다고 보도됐다. Google과 전문 프로젝트도 증명, 형식화, 발견을 추구하지만 모두 완성된 밀레니엄 해답은 아니다.
Scholze는 벤치마크와 홍보가 알아보기 쉬운 결승선에 관심을 몰 수 있다고 우려했다. 이론 구축, 분야 연결, 개념 명료화는 유명한 한 종착점 없이 수십 년 발전한다. 자금과 채용이 눈에 띄는 기계 해답만 따르면 과학적으로 중요한 일이 지원을 잃을 수 있다.
IEEE는 발표된 두 진전이 자신의 연구와 겹친 Mita Ramabulana의 걱정을 전했다. 다른 사람이 연구자의 문제를 모델에 넣고 먼저 발표할 수 있다는 것이다. 암호학 박사과정 Ailsa Robertson은 동료들이 접근에 큰돈을 쓰고 같은 직장을 경쟁하며 모델 사용을 강요받는 듯 느낀다고 말했다. 보도에는 OpenAI의 학자 대상 프런티어 모델 라이선스 10만 개 제공도 포함됐다.
접근 프로그램은 돕지만 비대칭을 남긴다. 대학은 더 강한 내부 시스템으로 경쟁하는 기업의 공개 도구를 쓴다. 비싼 장비는 이미 불평등을 만들지만 공공·국제 대형 시설은 임의로 변경하거나 접근을 철회하고 최고 기능을 남기는 독점 서비스와 통치 구조가 다르다. 수학의 비교적 낮았던 장비 장벽이 바뀐다.
채용과 저자 신호에는 공개가 필요하다. 통상 형식 논문도 자동 탐색, 형식화, 발견 정도와 도구 접근의 큰 차이를 숨길 수 있다. 학술지와 대학은 모든 모델 사용을 같게 보지 않고 일반 보조와 실질 기여를 구분할 출처 기록이 필요하다.
검증에는 읽을 수 있고 책임지는 과정이 필요하다
수학은 4색 정리의 전수 검사와 대규모 증명 지원 프로젝트 등에서 이미 계산을 받아들인다. 새 압박은 규모다. 형식 객체가 전문가 이해보다 빨리 오면 감사와 설명이 밀린다. 인간이 기계 작업 번역에 더 많은 시간을 써도 제도는 최종 풀이를 보상할 수 있다.
Tsimerman 관점은 시스템이 탐색할 때 사람이 질문을 고르고 구조를 연결하는 미래다. Williamson은 경력이 기계 산출물 최적화로 바뀌는지 묻는다. Torsten Hoefler는 검증 가능한 모든 것이 자동화된다고 예측했다. 이는 가치 있는 질문, 통찰력 있는 설명과 공익 방향 선택을 입증한 사실이 아니라 예측이다.
코드, 칩 배치와 계산에도 같다. 올바른 산출물도 유지가 어렵거나 투명한 개발 이력이 없을 수 있다. 결과가 빨리 올수록 노트, 기각한 가설, 출처와 인간 결정이 중요하다. 지식 관리 소프트웨어는 맥락을 보존해도 과학 규범이나 저자를 정하지 않는다.
계층적 출판은 형식 증명, 읽을 수 있는 설명, 출처와 독립 재현 보고서를 제공할 수 있다. 큰 발표 전 비밀 유지 전문가 검토는 홍보 이득을 줄여도 신뢰를 높인다. 외부의 유능한 도구와 평가 기반 접근은 완성 증명 확인보다 깊은 재현을 돕는다. 자동 발견 거부가 아니라 제도 강화 제안이다.
세 시험이 남는다. 정리와 비형식 구성이 Clay 공식화에 맞는다는 독립 확인, 수백만 원시 메시지 대신 출처·주요 결정·인간 개입을 잇는 이해 가능한 사슬, 다른 이가 방법을 재사용할 수 있는 수용된 발견의 반복이다. 접근, 학술지 공개와 대학 채용이 독점 능력을 공유 수학으로 바꿀지 결정할 것이다. 그때까지 결과는 지원 자료를 갖춘 귀속 명확한 주장이며 공식적으로 확정된 해결은 아니다.
출처
OpenAI 주장 · 밀레니엄상 규칙 · 하이델베르크 토론 · 논란 독립 보도 · 지식 맥락 설명 · IEEE Spectrum 분석