AI가 Navier–Stokes 해법을 냈다…검증과 공로 논쟁은 남았다
OpenAI의 9월 8일 공식 발표 는 내부 AI 시스템이 매끄러운 외력을 받는 3차원 비압축성 유체에서 유한시간 특이점을 구성하는 분석적 증명과 Lean 형식화를 만들었다고 밝혔다. 회사 설명상 약 1만 개의 에이전트가 투입됐고 해법 도출에는 약 88시간, GPT-6 Astra를 이용한 형식화와 검증에는 17시간이 더 걸렸다.
다만 발표의 현재 지위는 ‘공개된 해법’이지 수학계가 공인한 최종 해결이 아니다. EL PAÍS의 9월 9일 보도 는 외부 과학자의 독립 검증이 아직 이뤄지지 않았다고 전했다. 따라서 직접적인 답은 이렇다. AI가 증명 원고와 기계 검증 자료를 내놓은 것은 맞지만, Navier–Stokes 밀레니엄 문제가 공식적으로 해결됐다고 확정할 단계는 아니다.
증명이 겨냥한 것은 ‘유한시간 폭발’이다
OpenAI가 제시한 결과는 모든 유체가 언젠가 폭발한다는 예측이 아니다. 양의 점성이 있는 3차원 Navier–Stokes 방정식에 대해, 정지 상태에서 시작한 유체에 매끄러운 외력을 가하면 속도가 유한한 시간 안에 상한 없이 커지는 특정 해를 구성했다는 주장이다. 그동안 유한하게 유지되는 것은 전체 운동에너지다.
수학에서 이 같은 현상을 유한시간 특이점 또는 폭발이라고 부른다. 속도가 커지는 영역은 원점 부근으로 좁아지고, 중심의 소용돌이는 안쪽으로 감기면서 축 방향으로 늘어난다. 국소 속도는 무한대로 향하지만 빠른 흐름이 차지하는 부피가 함께 작아지기 때문에 전체 에너지는 유한할 수 있다.
여기서 ‘폭발’은 현실의 물이나 공기가 실제로 무한한 속도에 도달한다는 뜻이 아니다. 연속체로 유체를 표현하는 방정식의 고전적이고 매끄러운 해가 특정 조건에서 더는 계속될 수 없다는 수학적 결론이다. 증명이 맞다면 Navier–Stokes 모형이 모든 허용 조건에서 영원히 매끄럽게 작동한다는 보편적 기대에 반례가 생긴다.
외력이 있어도 공식 문제의 반례가 될 수 있다
Navier–Stokes 문제는 흔히 ‘외력 없이 시작한 매끄러운 유체가 폭발하는가’라는 질문으로 요약된다. 그러나 공식 명세는 해가 항상 매끄럽다는 진술뿐 아니라, 허용된 매끄러운 외력과 초기 조건 아래 전 시간에 걸친 매끄러운 해가 존재하지 않는 반례도 답으로 인정하는 구조다. OpenAI는 자신의 구성이 공간 전체와 주기적 공간에 관한 반례 진술 C와 D를 충족한다고 주장한다.
따라서 외력이 사용됐다는 이유만으로 밀레니엄 문제와 무관하다고 할 수는 없다. 핵심은 그 외력이 시간과 공간에 대해 요구된 만큼 매끄러운지, 초기 속도와 해가 발산 조건과 에너지 조건을 만족하는지, 유한시간 뒤의 붕괴가 단순한 수치 근사가 아니라 엄밀한 논증으로 따라오는지다.
증명은 처음부터 무한한 힘을 넣어 속도를 키우는 방식이 아니다. 가속도, 압력 기울기, 비선형 운동량 전달과 점성 항은 각각 크게 변하지만 서로 정교하게 상쇄돼 남는 외력이 매끄럽도록 구성한다. 이 상쇄가 실제로 모든 필요한 미분 차수에서 성립하는지가 증명의 가장 중요한 검토 대상 중 하나다.
Lean 검증이 보장하는 것과 보장하지 않는 것
Lean 형식화는 사람이 쓰는 증명의 정의, 가정, 보조정리와 결론을 형식 언어로 옮기고 추론 단계가 논리 규칙에 맞는지 검사한다. 긴 계산에서 빠진 단계나 서로 맞지 않는 추론을 찾아내는 데 강력하며, 공개된 코드를 다른 사람이 다시 빌드해 확인할 수 있다는 점에서도 유용하다.
그러나 형식 검증은 입력된 명제가 원래 문제와 같은지를 스스로 판단하지 않는다. 형식화 과정에서 정칙성 조건이 달라지지 않았는지, 외력과 해의 함수공간이 공식 명세와 일치하는지, 분석적 원고의 핵심 정리 전체가 같은 의미로 옮겨졌는지는 전문가가 확인해야 한다. Lean이 승인한 것은 작성된 형식 체계 안에서의 논리적 연결이지, 그 명제에 대한 수학 공동체의 해석과 합의까지는 아니다.
동료평가가 맡는 범위도 더 넓다. 수학자들은 원고의 정의와 형식화 파일을 대조하고, 기존 정리의 사용이 정확한지 살피며, 독립적으로 핵심 계산을 재구성해야 한다. 동시에 결과가 선행 연구와 어떤 관계에 있는지, 아이디어와 저작 공로를 어떻게 배분해야 하는지도 검토한다. 형식 증명서는 이 절차를 돕는 자료이지만 절차 전체를 대체하지는 않는다.
공식 인정은 별도의 시간표를 따른다
OpenAI는 발표에서 밀레니엄 상금을 청구할 의사가 없다고 밝혔다. 하지만 상금을 신청하지 않는 결정과 증명의 참·거짓은 별개다. 청구 포기는 수학적 정당성을 확인해 주지도, 결과를 무효로 만들지도 않는다.
공식 인정 여부는 공개 직후의 회사 발표나 언론 보도로 결정되지 않는다. 원고가 전문 연구자들의 검토를 견디고, 형식화된 정리가 공식 문제의 조건과 일치하며, 세계 수학계에서 결과가 받아들여져야 한다. 발표 하루 뒤 독립 검증이 없다는 사실은 이상 징후라기보다 이 정도 규모의 증명에 필요한 검토가 이제 시작됐다는 의미에 가깝다.
현재 상태는 세 단계로 구분해야 한다. 분석적 증명 원고와 Lean 자료는 공개됐다. 형식화된 추론을 기계적으로 검사할 기반도 마련됐다. 그러나 원래 문제와의 정확한 일치, 원고와 코드 사이의 대응, 공동체의 일반적 수용은 아직 확인되지 않았다.
동시 연구의 공로와 데이터 문제는 따로 남았다
공로 논쟁은 증명의 정확성과 구분되는 쟁점이다. Nature의 9월 8일 보도 에 따르면 뉴욕대 수학자 트리스탄 벅마스터와 레벤트 알푀게는 하루 앞서 점성이 없는 Euler 방정식에서 매끄러운 외력에 의한 유한시간 폭발 결과를 공개했으며, OpenAI는 두 연구자의 진전에 관한 소문을 들은 뒤 9월 1일 밀레니엄 문제를 대상으로 한 작업에 자원을 집중했다.
두 연구자의 공개 결과는 OpenAI의 점성이 있는 Navier–Stokes 정리와 동일하지 않다. 출발점이 된 강제 Euler 연구와 그보다 앞선 디에고 코르도바·루이스 마르티네스소로아의 연구 계보, 그리고 이를 Navier–Stokes까지 확장한 아이디어가 각각 어떤 기여를 했는지를 분리해 따져야 한다.
벅마스터는 미공개 연구 방향을 OpenAI가 알게 된 경위와 Codex에 입력한 작업이 모델에 간접적으로 영향을 줬을 가능성을 문제 삼았다. OpenAI는 연구자와 에이전트가 공개 전 원고나 특정 사용자 데이터에 접근하지 않았다고 부인했다. 다만 회사는 제품 사용에서 파생된 비식별 데이터가 모델 개선에 기여했을 가능성을 완전히 배제할 수 없다고 인정했다. 현재 공개 자료만으로 실제 이용 여부를 확정할 수는 없다.
그러므로 앞으로 내려질 판단도 둘로 나뉜다. 외부 수학자들은 증명과 Lean 코드를 재검사해 특이점 구성이 공식 조건을 충족하는지 판단해야 한다. 별도로 연구 시간표, 선행 아이디어, 비공개 데이터 처리와 저자 제안을 둘러싼 기록을 확인해야 한다. 전자가 맞더라도 후자의 윤리·공로 문제가 자동으로 사라지지 않으며, 후자에 문제가 있더라도 그것만으로 증명의 논리적 오류가 입증되지는 않는다.
확정된 사실은 OpenAI가 유한시간 특이점에 관한 분석적 증명과 Lean 형식화를 공개했다는 데까지다. 이 해법이 독립 검토를 통과해 밀레니엄 문제의 해결로 자리 잡을지, 그리고 관련 연구자들의 기여가 어떻게 기록될지는 아직 열린 문제다.
함께 읽기:
뉴스레터 구독
최신 Web3, AI, 암호화폐 뉴스를 이메일로 받아보세요.