90년 수학 난제 나비에-스토크스 방정식, OpenAI는 어떻게 답을 찾았나?
📺 원본 영상: 90년 수학 난제 나비에-스토크스 방정식, OpenAI는 어떻게 답을 찾았나?
🎙️ 채널: 안될과학 Unrealscience
📅 정리 일자: 2026-09-09
⚠️ Note: 본 리포트는 영상의 음성 변환 텍스트(STT)를 바탕으로 작성된 제공 원고를 검수한 것이다. 이번 검수에서는 원본 음성과 STT 전문을 확보하지 못해 발언을 직접 대조하지 못했다. 화면에 표시된 수식, 도표, 슬라이드는 직접 확인하지 않았으며, 외부 원자료로 보완한 내용은 별도로 구분했다. 논문의 발표와 증명 주장, 독립적인 검증, 밀레니엄 문제의 공식 인정은 구별하여 서술한다.[?]는 원고에 기재된 수치·일정 중 이번 검수에서 독립적으로 확인하지 못한 항목을 뜻하며, 오류로 판정했다는 의미는 아니다.
개요
매끄럽게 흐르기 시작한 물과 공기는 수학적으로도 영원히 매끄럽게 움직일 수 있을까, 아니면 유한한 시간 안에 흐름이 극도로 집중되어 기존의 해를 이어갈 수 없는 순간이 생길까. 항성은 나비에–스토크스 방정식(Navier–Stokes equations)에 관한 OpenAI의 발표를 소개하면서, 특별히 설계한 외력이 있는 경우의 특이점 구성과 외력이 없는 유체의 문제를 구분한다. 강연의 핵심은 88시간이라는 기록 자체보다 무엇을 증명했다고 주장하는지, AI가 어떤 방식으로 연구했는지, 그리고 그 결과를 인간이 어떻게 검증하고 이해할 것인지에 있다.
88시간이라는 헤드라인보다 먼저 살펴야 할 것
강연은 한국 시간으로 9월 8일부터 9월 9일 새벽 사이[?]에 이어진 유체역학 연구 발표에서 출발한다. 항성의 설명에 따르면, 트리스탄 버크마스터(Tristan Buckmaster)와 레벤트 알푀게(Levent Alpöge)가 먼저 여러 유체 방정식의 유한 시간 특이점에 관한 결과를 공개했고, 약 13시간[?] 뒤 OpenAI가 166쪽 분량의 논문을 발표했다. 이 논문의 제목과 분량은 원문에서 Finite Time Blowup for Navier–Stokes, 총 166쪽으로 확인된다. 강연은 이를 계기로 AI가 90년 가까이 이어진 난제를 88시간[?] 만에 해결했다는 식의 보도가 등장했다고 설명한다. OpenAI 논문 원문
그러나 강연자가 강조하는 것은 풀이를 제안했다는 사실과 수학계가 해결을 인정했다는 사실은 다르다는 점이다. 어떤 초기 조건을 사용했는지, 외부에서 힘을 가했는지, 그 힘이 어떤 수학적 조건을 만족하는지를 확인하지 않으면 성과의 범위를 잘못 이해하기 쉽다. 특히 이번에 소개된 결과는 정교하게 설계된 외력 아래에서 특이점이 생기는 경우에 관한 것이므로, 자연의 모든 유체가 결국 폭주한다는 결론으로 이어지지 않는다. 강연은 이 구분을 바탕으로 난제의 배경과 증명의 아이디어를 차례로 설명한다.
외부 원자료 확인: OpenAI가 공개한 논문은 정지 상태에서 출발한 3차원 비압축성 유체에 공간과 시간에서 지지가 콤팩트한 매끄러운 외력을 가하여, 전체 운동에너지는 균일하게 유계로 유지하면서 속도가 유한한 시간 안에 비유계가 되는 해를 구성했다고 명시한다. 논문은 이 결과가 클레이 문제의 C와 D에 해당한다고 주장한다. 이는 공개된 정리의 내용을 확인한 것이며, 본 리포트가 증명 전체를 독립적으로 검증했다는 의미는 아니다. OpenAI 논문 원문
물과 공기를 다루는 뉴턴의 법칙
항성은 나비에–스토크스 방정식을 뉴턴의 운동 제2법칙을 유체에 적용한 식으로 소개한다. 공 하나나 자동차 한 대를 분석할 때는 물체를 하나의 대상으로 놓고 운동을 설명할 수 있지만, 물과 공기는 내부의 각 부분이 서로 다른 방향과 속도로 움직인다. 물 한 컵에 들어 있는 분자를 하나씩 추적하는 방식으로는 실제 계산을 수행하기 어렵기 때문에, 유체역학은 다른 기술 방식을 택한다. 공간의 각 지점에 속도와 압력을 부여하여 흐름 전체를 표현하는 것이다.
이때 사용하는 전제가 연속체 가정(continuum assumption)이다. 강연자의 설명대로라면, 분자 사이의 미세한 틈이나 개별 충돌을 일일이 다루는 대신 물질이 공간에 연속적으로 분포한다고 보고 그 거동을 계산한다. 그러면 질문은 개별 분자가 어디로 이동하는가에서, 특정 위치의 유체가 왜 빨라지고 느려지며 방향을 바꾸는가로 옮겨간다. 나비에–스토크스 방정식은 이러한 속도 변화를 압력, 점성, 유체 자체의 이동, 외력 사이의 관계로 기술한다.
압력이 높은 곳은 주변 유체를 밀어내며 흐름을 바꾸고, 점성(viscosity)은 이웃한 유체 사이의 속도 차이를 완화하는 방향으로 작용한다. 빠르게 움직이는 부분의 운동이 주변으로 전달되면 급격한 속도 변화가 누그러지는 것이다. 그러나 유체는 그 자리에 머물지 않고 이동하므로, 이미 형성된 속도 분포 자체를 다른 위치로 운반한다. 바로 이 움직임이 흐름을 다시 바꾸는 되먹임 때문에 문제가 복잡해진다고 항성은 설명한다.
점성과 비선형성의 경쟁이 만든 90년의 질문
강연에서 난제의 중심으로 제시되는 것은 비선형성(nonlinearity)이다. 유체가 이동하면 다른 흐름과 만나고, 흐름이 휘거나 늘어나며, 더 작은 규모에서 속도 차이가 생길 수 있다. 수학적으로 이러한 효과를 나타내는 이류항(advection term)은 속도와 속도의 공간 변화가 결합하는 비선형 항이다. 따라서 현재의 흐름이 이후의 흐름을 바꾸는 방식 자체가 그 흐름에 의존하게 된다.
점성은 이러한 변화가 지나치게 날카로워지는 것을 완화하지만, 그것만으로 모든 집중을 막을 수 있는지는 별개의 문제다. 항성은 흐름을 고르게 만드는 작용과 작은 영역에 변화를 집중시키는 작용이 맞물리는 상황으로 이를 설명한다. 처음에 아무 문제가 없었다는 사실만으로 아주 먼 미래에도 같은 성질이 유지된다고 단정할 수는 없다. 특히 3차원에서 두 효과의 경쟁을 끝까지 통제할 수 있는지가 오랫동안 어려운 질문으로 남았다는 것이다.
강연은 이 문제의 역사적 출발점으로 1934년 장 르레(Jean Leray)의 성과를 소개한다. 르레는 충분히 완화된 의미에서 방정식을 만족하고 에너지 부등식을 충족하는 약한 해(weak solution)가 모든 미래 시간에 걸쳐 존재함을 보였다. 그러나 약한 해가 존재한다는 사실만으로 그 해가 언제나 매끄럽다거나, 각 지점에서 필요한 미분이 계속 잘 정의된다고 결론 내릴 수는 없다. 강연 제목의 90년이라는 표현은 방정식 자체의 탄생 시점보다, 이처럼 해의 존재와 매끄러움 사이에 남은 간극을 가리킨다.
무엇을 증명하면 밀레니엄 문제의 답이 되는가
항성은 클레이수학연구소의 문제 설정을 두 방향으로 설명한다. 한쪽은 매끄럽게 시작한 유체가 모든 미래 시간에도 매끄럽게 유지된다는 것을 보이는 방향이고, 다른 쪽은 허용된 조건 아래에서 그러한 성질이 무너지는 사례를 구성하는 방향이다. 전자는 넓은 범위의 초기 상태를 포괄해야 하지만, 후자는 요구 조건을 모두 충족하는 반례 하나가 결정적인 역할을 할 수 있다. 따라서 특수한 사례라는 이유만으로 수학적 중요성이 작아지는 것은 아니다.
여기서 반드시 함께 읽어야 할 조건이 외력(forcing)이다. 강연은 A와 B를 외력이 없는 경우의 전역적인 존재와 매끄러움에 관한 질문으로, C와 D를 허용된 매끄러운 외력이 있는 경우까지 포함하는 붕괴 사례의 구성으로 구분한다. 각 쌍이 다시 둘로 나뉘는 이유는 유체가 움직이는 공간의 설정이 다르기 때문이다. 그러므로 외력이 있는 반례가 인정되더라도 외력이 전혀 없는 경우의 질문까지 자동으로 해결되는 것은 아니다.
💡 [영상 참조] 제공 원고는 06:46부터 A·B·C·D 구분이, 06:58 전후에는 매끄러운 초기 상태와 외력 아래에서 해가 붕괴하는 경우가 설명된다고 기재한다. 이번 검수에서는 해당 화면을 직접 확인하지 못했으므로, 조건과 수식의 정확한 표현은 원본 영상 06:58에서 대조할 필요가 있다.
이 구분에 따르면 이번 발표의 의미는 모든 유체의 미래를 계산하는 보편적인 공식을 얻었다는 데 있지 않다. 강연자가 소개하는 성과는 허용된 설정 안에서 매끄러운 흐름이 끝까지 유지되지 못하는 구체적인 경우를 만들었다는 주장이다. 이는 방정식을 풀어 특정 유동을 계산하는 일과, 가능한 해 전체의 성질을 증명하는 일이 다르다는 사실을 드러낸다. 강연은 바로 이 차이를 이해해야 제목의 해결이라는 표현을 정확하게 읽을 수 있다고 설명한다.
유한 시간 폭발은 물이 터진다는 뜻이 아니다
유한 시간 폭발(finite-time blowup)에서 폭발은 일상적인 폭발 현상을 뜻하지 않는다. 항성이 설명하는 것은 어떤 유한한 시각에 가까워질수록 속도 등의 수학적 양이 한없이 커져, 그 이전의 매끄러운 해를 같은 방식으로 계속 연장할 수 없게 되는 상황이다. 시간이 무한히 흘러야만 값이 커지는 경우와 달리, 이러한 붕괴가 유한한 시간 경계에서 나타난다는 것이 핵심이다. 강연에서는 특이점이 생기는 시각을 편의상 (t=1)로 놓고 설명한다.
항성은 직관을 돕기 위해 흐름이 작은 영역에 집중되는 모습을 블랙홀에 비유한다. 다만 이 비유는 집중과 특이점이라는 이미지를 전달하기 위한 것이며, 유체 내부에 실제 중력 블랙홀이 형성된다는 뜻으로 읽어서는 안 된다. 이번에 소개된 주장은 유체 방정식의 해에 관한 것이고, 실제 물질이 무한한 속도로 움직이는 현상을 관측했다는 보고도 아니다. 강연자 역시 수학적 모델 안에서의 가능성과 현실의 물리 현상을 분명히 구분한다.
그 구분은 연속체 가정의 적용 범위와 연결된다. 흐름이 집중되는 길이 규모가 계속 작아지면, 실제 물과 공기를 연속적인 물질로 취급하는 설명만으로는 충분하지 않은 영역에 들어갈 수 있다. 그때는 분자 수준의 거동을 비롯한 다른 물리적 요소를 고려해야 한다고 항성은 말한다. 따라서 방정식의 특이점은 현실에서 무한대가 실현된다는 선언보다는, 해당 모델의 해가 어떤 조건에서 매끄러움을 잃을 수 있는지를 묻는 결과로 이해해야 한다.
속도가 무한히 커져도 전체 에너지는 유한할 수 있다
강연에서 가장 직관에 어긋나는 대목은 국소적인 속도의 발산과 전체 운동에너지의 유한성이 함께 나타난다는 설명이다. 속도가 커지면 운동에너지도 커진다는 익숙한 관계만 생각하면 두 주장은 모순처럼 보인다. 그러나 전체 에너지는 가장 빠른 한 지점의 속도만으로 결정되지 않고, 그 속도를 가진 유체가 얼마나 넓은 영역에 분포하는지에도 달려 있다. 항성은 속도가 커지는 동시에 고속 유동이 차지하는 영역이 줄어든다는 점으로 이 차이를 설명한다.
작아지는 영역 안에서는 속도가 계속 증가해도, 그 영역에 포함된 유체의 양이 충분히 빠르게 감소하면 전체 에너지는 유한하게 유지될 수 있다. 따라서 전체 에너지를 제한했다는 사실만으로 모든 위치의 속도까지 제한했다고 볼 수는 없다. 이 설명은 르레의 약한 해에 관한 이야기와도 이어진다. 전역적인 에너지 정보가 존재하더라도 국소적인 집중을 배제하기에는 부족할 수 있다는 점이 난제의 어려움을 보여주는 것이다.
다만 에너지가 유한하다는 표현을 에너지가 시간에 따라 정확히 일정하다는 뜻으로 바꾸어 읽어서는 안 된다. 강연이 강조하는 것은 특이점에 접근하는 동안에도 전체 운동에너지가 무한대로 발산하지 않는다는 성질이다. 또한 집중 영역이 작아진다는 직관만으로 특정 해의 에너지 조건이 증명되는 것은 아니며, 실제 증명에서는 속도의 증가와 영역의 축소를 정량적으로 함께 통제해야 한다. 항성의 설명은 이 수학적 구조를 이해하기 위한 개념적인 안내에 해당한다.
증명의 중심 아이디어는 외력의 발산을 막는 데 있다
항성이 소개하는 구성은 점차 수축하면서 내부 속도가 증가하는 중심 소용돌이에서 시작한다. 그러나 그런 모양의 흐름을 먼저 정했다고 해서 요구 조건을 만족하는 나비에–스토크스 해가 되는 것은 아니다. 원하는 운동을 유지하기 위해 필요한 외력을 계산했을 때, 그 힘까지 특이점 부근에서 무한대로 커진다면 처음의 문제 설정을 충족하지 못하기 때문이다. 핵심 과제는 유체의 속도는 발산하도록 하면서도 외부에서 주는 힘은 매끄럽게 남도록 만드는 것이다.
강연은 이를 위해 중심 소용돌이 바깥의 고리 모양 영역에 작은 진동을 배치했다고 설명한다. 이 진동은 내부의 빠른 흐름과 바깥의 느린 흐름 사이에서 운동량을 운반하며, 원래 외력이 담당해야 했던 역할의 일부를 유체 내부의 운동으로 수행하게 한다. 항성은 이를 단순히 중심을 더 빠르게 돌리는 추가 장치로 설명하지 않는다. 중심의 수축과 속도 증가가 유지되도록 하면서도 필요한 외력이 함께 발산하지 않게 균형을 맞추는 것이 역할의 핵심이라는 것이다.
이 대목에서 매끄럽다는 말을 천천히 변한다는 일상어와 완전히 동일시하지 않는 것이 좋다. 강연은 이해를 돕기 위해 부드러운 변화라는 표현을 사용하지만, 여기서 수학적 매끄러움은 모든 차수의 미분이 존재하고 연속이라는 성질을 뜻한다. 값이 빠르게 변하더라도 매끄러운 함수일 수 있으므로, 느린 변화 자체가 조건의 본질은 아니다. 여기서 중요한 것은 외력에 특이성을 숨겨 놓고 유체의 붕괴를 만들어낸 것이 아니라는 점이다.
강연에 따르면 실제 증명은 이 아이디어를 한 번 적용하는 것으로 끝나지 않는다. 진동을 추가하면 기존 흐름과 상호작용하면서 새로운 오차가 생기고, 그 오차를 보정하는 과정에서도 다시 다른 오차가 남는다. 따라서 잔여 오차를 계산하고 더 정밀한 보정을 넣으며, 전체 구성이 요구된 성질을 유지하는지 확인해야 한다. 항성이 166쪽이라는 분량과 연결하는 것도 바로 이 반복적인 정합성 확인이다.
증명을 찾은 모델과 형식화한 모델은 달랐다
강연자는 발표 시점 때문에 생길 수 있는 오해부터 바로잡는다. 영상의 설명에 따르면 증명을 찾아낸 주체는 공개된 GPT-6 Astra 자체가 아니라, 그보다 높은 성능을 가진 것으로 OpenAI가 설명한 미공개 내부 모델이다. Astra는 이후 증명을 Lean으로 형식화하고 검증하는 작업을 맡았다고 소개된다. 따라서 이번 연구를 하나의 모델이 혼자 문제를 풀고 검증까지 마친 사건으로 단순화하면 실제로 설명된 역할 분담이 사라진다. 다만 이번 검수에서 확인한 논문과 저장소 README만으로는 모델의 명칭·성능 비교·역할 분담까지 독립적으로 확인하지 못했다.
Lean은 수학 명제와 증명을 컴퓨터가 검사할 수 있는 형식으로 기술하는 증명 보조기(proof assistant)다. 항성의 설명은 사람이 읽는 증명에서 생략될 수 있는 중간 단계를 명시하고, 주어진 조건에서 결론이 논리적으로 따라오는지 확인하는 데 초점을 맞춘다. 증명의 아이디어를 발견하는 작업과 그 아이디어를 엄격한 형식으로 옮기는 작업은 서로 연결되지만 다른 종류의 과제다. 강연은 여러 AI가 이 과정을 나누어 맡았다는 점을 연구 방식의 특징으로 제시한다.
외부 자료로 확인하면, OpenAI의 공개 저장소는 나비에–스토크스와 오일러 방정식에 관한 결과의 Lean 4 형식화를 제공한다고 명시한다. 저장소에는 빌드 방법과 독립적인 증명 검사에 관한 안내도 포함되어 있다. 다만 본 리포트에서는 해당 코드를 직접 빌드하거나 증명 검사를 실행하지 않았다. 그러므로 형식화 자료가 공개되어 있다는 사실과, 모든 검증을 독립적으로 재현했다는 판단은 구별해야 한다. OpenAI 형식 증명 저장소
88시간은 수십 년의 연구를 대체한 시간이 아니다
항성이 전달하는 연구 일정에 따르면 OpenAI는 8월 28일[?]부터 새 내부 모델을 훈련하기 시작했고, 9월 1일[?]부터 여러 에이전트 그룹에 밀레니엄 문제를 나누어 맡겼다. 나비에–스토크스 문제를 맡은 에이전트가 결론에 도달한 시점은 첫 투입 후 약 88시간[?]이 지난 9월 5일[?]로 소개된다. 논문 공개는 그로부터 사흘 뒤[?] 이루어졌다고 설명한다. 이 일정에서 88시간은 문제에 투입된 뒤 결론에 도달하기까지의 경과 시간을 가리킨다. 정확한 시작·종료 시각과 기준 시간대는 이번 검수에서 확인하지 못했다.
그 수치에 모델 훈련, 기존 연구의 축적, 전체 계산 자원, 이후의 검증 시간이 모두 포함되어 있다고 해석할 근거는 영상에 없다. 항성은 오히려 AI가 아무것도 없는 상태에서 갑자기 답을 만들어낸 것이 아니라고 강조한다. 유사한 유체 방정식에서 특이점을 구성하는 방법은 이미 여러 수학자가 오랫동안 연구해 왔고, 디에고 코르도바(Diego Córdoba)와 루이스 마르티네스소로아(Luis Martínez-Zoroa) 등의 성과도 그 배경으로 언급된다. 제공 원고가 STT의 “루이스 마르티네스, 소로”를 한 연구자의 이름으로 교정한 것은 논문에 기재된 Martínez-Zoroa라는 이름과 부합한다. 다만 원음의 정확한 발음은 재확인하지 못했다.
영상은 테런스 타오(Terence Tao)가 AI, 대규모 계산, 형식 증명을 결합한 연구 가능성을 논의했다는 일화도 소개한다. 그러나 AI 에이전트가 실제로 어떤 글을 읽었는지, 특정 선행 연구가 최종 증명에 어느 정도 기여했는지는 공개된 설명만으로 확정하기 어렵다고 강연자 스스로 선을 긋는다. 글의 발표 시점이 가까웠다는 사실만으로 아이디어의 전달 경로가 입증되는 것은 아니다. 강연의 주안점은 개별적인 영향 관계를 단정하는 데 있지 않고, 이번 작업이 이미 축적된 수학 위에서 진행되었다는 사실에 있다.
수많은 에이전트가 탐색하고 유망한 경로를 공유하다
강연에 따르면 나비에–스토크스 문제에는 한때 약 1만 개[?]의 AI 에이전트가 동시에 투입되었다. 일부는 해가 끝까지 매끄럽게 유지된다는 방향을 탐색했고, 다른 일부는 특이점을 만드는 사례를 찾는 방향을 맡았다. 서로 다른 접근을 병렬로 시도했기 때문에, 연구 과정은 하나의 풀이를 처음부터 끝까지 직선적으로 밀어붙이는 방식과 달랐다. 특정 경로에서 성과가 나타나면 그 정보를 다른 에이전트에게 전달하고 자원을 재배치하는 방식으로 설명된다.
항성은 점성항이 없는 오일러 방정식(Euler equations)에서 먼저 결과가 나오기 시작하자, 관련 아이디어를 다른 에이전트에게 전달하여 나비에–스토크스 쪽 탐색에 활용했다고 말한다. 이 과정의 의미는 단순히 같은 질문을 수천 번 반복했다는 데 있지 않다. 서로 다른 접근의 중간 성과를 공유하고, 가능성이 높아진 방향에 더 많은 시도를 집중했다는 점에 있다. 강연자가 연구 방식의 변화로 주목하는 것도 이러한 탐색과 검토의 분업이다.
다만 약 1만 개라는 최대 동시 투입 수와 88시간이라는 경과 시간만으로 전체 계산량을 계산할 수는 없다. 에이전트마다 가동 시간과 작업량이 달랐을 수 있고, 영상에는 이를 환산할 구체적인 자원 사용 정보가 제시되지 않는다. 따라서 88시간을 한 명의 수학자가 동일한 자원으로 일한 시간과 직접 비교하는 것은 성과의 성격을 흐릴 수 있다. 강연의 설명에서 읽을 수 있는 변화는 연구 시간이 사라졌다는 것이 아니라, 많은 탐색을 동시에 수행하고 그 결과를 연결하는 방식이 강화되었다는 점이다.
공로 논쟁은 증명의 정당성과 별도로 다뤄야 한다
항성은 수학자들이 축적한 아이디어를 AI가 읽고 대규모 탐색을 통해 마지막 증명을 완성했다면, 발견의 공로를 누구에게 돌려야 하는지 묻는다. 선행 연구의 개념적 기여, 모델을 개발한 연구진의 기여, 계산과 탐색을 조직한 기여, 최종 증명을 구성한 기여는 서로 다른 층위에 있다. 이를 하나의 주인공에게만 귀속시키려 하면 연구가 실제로 이루어진 경로를 놓칠 수 있다. 강연은 앞으로 이런 사례가 늘수록 과학적 발견의 저자와 기여를 설명하는 방식도 더 복잡해질 것으로 전망한다.
영상 후반부에서는 버크마스터 측이 OpenAI와 주고받은 연락을 공개했고, OpenAI의 세바스티앵 뷔베크(Sébastien Bubeck)가 일부 내용에 이견을 제기했다고 소개한다. 그러나 제공 원고에는 연락 전문이나 양측의 구체적인 근거가 포함되어 있지 않으며, 이번 검수에서도 해당 자료를 직접 대조하지 못했다. 항성 역시 설명이 엇갈리는 상황에서 어느 쪽이 맞는지 단정하기 어렵다고 말한다. 따라서 이 리포트에서도 해당 대목은 강연자가 소개한 분쟁 상황으로만 다루며, 연구 도용이나 부정행위가 입증된 것으로 서술하지 않는다.
강연이 제시하는 중요한 구분은 증명이 맞는지 확인하는 일과 연구의 기여 경로를 확인하는 일이 별개의 검토라는 점이다. 증명이 옳다는 사실만으로 공로 배분 문제가 자동으로 해결되지는 않으며, 공로를 둘러싼 이견이 있다는 사실만으로 증명이 틀렸다고 결론 내릴 수도 없다. 이 구분을 유지해야 수학적 성과와 연구 과정에 관한 논의를 각각 필요한 근거로 평가할 수 있다. 항성은 두 문제 모두 앞으로의 검토를 지켜봐야 한다는 입장을 취한다.
일기예보와 비행기 설계가 곧바로 달라지지 않는 이유
강연자는 이번 결과가 인정되더라도 일기예보, 항공기 설계, 혈류 시뮬레이션이 즉시 바뀌지는 않을 것으로 본다. 그 이유는 소개된 특이점이 바깥에서 매우 정교하게 설계한 힘을 가하는 조건에서 구성되었기 때문이다. 그러한 해가 존재한다는 사실만으로 자연의 물과 공기에서 같은 조건이 흔하게 만들어진다고 말할 수는 없다. 가능한 사례의 존재와 현실에서의 발생 빈도는 다른 질문이라는 것이다.
또한 특이점의 존재를 증명하는 일은 유체를 더 빠르고 정확하게 계산하는 수치해석 기법을 제시하는 일과도 다르다. 강연이 다루는 결과는 방정식이 허용하는 해의 성질에 관한 것이므로, 그 자체에서 새로운 예보 알고리즘이나 설계 도구가 바로 도출되지는 않는다. 항성은 비행기 주변의 공기 흐름과 자동차의 공기저항, 날씨와 바다의 흐름을 계산할 때 나비에–스토크스 방정식이 계속 사용될 것으로 전망한다. 이번 발표를 기존 공학 계산 전체가 무효가 되었다는 뜻으로 받아들일 이유는 없다는 설명이다.
그렇다고 이론적인 의미까지 작아지는 것은 아니다. 강연자는 결과가 인정될 경우, 특이점이 가능한지를 묻던 단계에서 어떤 조건이 그 집중을 허용하고 어떤 조건이 매끄러움을 보장하는지를 더 구체적으로 연구할 수 있다고 본다. 특별한 사례를 정확히 이해하면 해의 붕괴를 막는 조건을 탐색하는 데도 새로운 질문을 던질 수 있다. 항성이 강조하는 장기적인 가치는 당장의 제품 변화보다 유체 방정식을 이해하는 범위가 넓어지는 데 있다.
공식 인정까지 남은 과정과 외력이 없는 문제
항성은 영상 말미에 클레이수학연구소가 나비에–스토크스 문제를 여전히 미해결로 분류하고 있다고 설명한다. 실제로 작성 시점에 확인한 클레이 공식 미해결 문제 목록에도 이 문제가 포함되어 있다. 따라서 연구진이 공식 해결 조건을 만족한다고 주장하는 것과 연구소가 해결을 인정했다는 표현을 서로 바꾸어 사용해서는 안 된다. 이는 발표된 증명의 진위를 미리 판정하는 말이 아니라, 현재 확인되는 공식 분류에 관한 설명이다. 클레이수학연구소 미해결 문제 목록
상금 절차에 대해서는 제공 원고에 인용된 표현을 한 가지 바로잡을 필요가 있다. 원고는 영상에서 정식 발표 뒤 최소 1~2년의 검토를 언급했다고 전하지만, 클레이의 공식 규정은 적격 출판 매체에 발표된 뒤 최소 2년이 지나고 국제 수학계의 일반적인 수용을 얻어야 한다고 명시한다. 또한 연구소는 제안된 풀이의 직접 제출을 받지 않는다고 안내한다. 그러므로 공개 발표 직후 상금을 신청하거나, 형식 증명 자료를 공개한 것만으로 심사 절차가 완료된다고 이해해서는 안 된다. 클레이수학연구소 밀레니엄상 규정
공식 인정 여부와 별개로, 강연은 외력이 없는 경우의 질문이 계속 남는다고 강조한다. 바깥에서 힘을 따로 주지 않아도 매끄럽게 시작한 3차원 유체가 스스로 특이점을 만들 수 있는지, 아니면 점성이 끝까지 매끄러움을 유지시키는지는 이번에 소개된 외력 있는 구성만으로 답할 수 없다. C와 D에 관한 성과를 인정하는 것과 A와 B의 질문이 독립적으로 중요하게 남는 것은 양립할 수 있다. 강연의 결론은 하나의 중요한 진전이 곧 유체역학의 모든 근본 문제를 끝내는 것은 아니라는 데 있다.
강연과 별개로 읽을 참고 자료
강연의 내용을 더 깊이 이해하려면 우선 클레이수학연구소의 공식 문제 소개를 읽는 것이 유용하다. 이 자료는 유체 계산에 널리 사용되는 방정식이면서도 해에 관한 기본적인 수학적 질문이 왜 중요한지를 설명하고, 공식 문제 기술서로 연결한다. OpenAI 논문을 읽을 때도 먼저 무엇이 해결 조건인지 확인하면, 특정 흐름의 구성과 문제 전체에 관한 주장을 구별하기 쉽다. 이는 강연을 대신하는 자료가 아니라 문제 설정을 직접 확인하기 위한 보완 자료다. 클레이수학연구소 나비에–스토크스 문제 소개
OpenAI의 논문과 형식 증명 저장소는 각각 다른 독해 목적을 가진다. 논문은 주장하는 정리와 구성의 논리를 읽기 위한 자료이고, 저장소는 그 결과를 형식 언어로 어떻게 제시했는지 확인하는 자료다. 이 둘을 함께 살펴보더라도, 비형식적인 문제 설명과 형식화된 명제가 정확히 대응하는지에 관한 전문적인 검토는 여전히 중요하다. 이 리포트의 수학적 설명은 제공된 강연을 중심으로 재구성한 것이며, 원 논문의 모든 추정과 형식화의 완전성을 심사한 결과는 아니다.
마무리 / 핵심 정리
항성이 소개하는 이번 발표의 핵심은 매끄러운 외력이 작용하는 특별한 조건에서, 정지 상태로 출발한 유체의 속도가 유한한 시간 안에 발산하면서도 전체 운동에너지는 유한하게 유지되는 해를 구성했다는 주장이다. 강연은 그 아이디어를 수축하는 중심 소용돌이와 주변의 진동을 통한 운동량 운반으로 설명한다. 중요한 것은 속도의 집중만 만들어내는 데 그치지 않고, 외력까지 함께 발산하는 문제를 피하도록 전체 흐름을 정교하게 맞추는 데 있다. 다만 이러한 증명 주장과 밀레니엄 문제의 공식 인정은 구별해야 하며, 외력이 없는 경우의 질문도 남아 있다.
AI 연구의 관점에서 강연자가 주목하는 변화는 많은 에이전트가 서로 다른 접근을 탐색하고, 유망한 결과를 공유하며, 이후 형식화와 검증을 분담하는 과정이다. 88시간이라는 기록은 이러한 연구 조직 방식의 속도를 보여주지만, 그 바탕에 있는 수십 년의 수학과 전체 자원 투입을 지우지는 않는다. 항성은 앞으로 답을 발견하는 시간보다 그 답의 원리를 사람이 이해하고 설명하는 시간이 더 길어질 수도 있다고 전망한다. 결국 이번 이야기가 던지는 질문은 AI가 답을 내놓을 수 있는가를 넘어, 그 답을 검증 가능한 지식으로 받아들이고 다음 연구로 이어가기 위해 무엇이 필요한가에 있다.
📚 출처 및 참고
| 구분 | 내용 |
|---|---|
| 원본 영상 | 90년 수학 난제 나비에-스토크스 방정식, OpenAI는 어떻게 답을 찾았나? |
| 채널 | 안될과학 Unrealscience |
| 강연자 | 항성 |
| 원고에 기재된 STT 범위 | 00:00~17:29[?] — 본 강연 종료 이후 도서 홍보 포함으로 기재되어 있으나, STT 전문 미제공으로 재확인하지 못함 |
| 리포트 작성 | 2026-09-09 |
| 작성 방식 | 제공된 STT 기반 리포트 검수 및 일부 공개 원자료 대조 |
| 외부 확인 자료 | OpenAI 논문 원문 |
| 형식 증명 자료 | OpenAI NavierStokesAndEuler 저장소 |
| 공식 문제 소개 | 클레이수학연구소 나비에–스토크스 문제 |
| 공식 분류 확인 | 클레이수학연구소 미해결 문제 목록 |
| 공식 심사 규정 | 밀레니엄상 규정 |
본문의 발표 일정, 에이전트 운영, 연구 공로 논쟁과 향후 전망은 별도 표시가 없는 한 제공 원고에 담긴 강연자의 설명을 바탕으로 재구성했다. 외부 자료는 발표된 정리의 범위, 논문의 제목과 분량, 형식화 자료의 공개 여부, 공식 문제 분류와 심사 규정을 확인하는 데 사용했다. 원본 음성과 STT 전문을 직접 대조하지 못했으므로, 인명 교정의 음성상 타당성과 강연자의 정확한 표현은 확인이 남아 있다.
제공된 스크린샷 목록의 06:58, 08:27, 10:12 항목에는 로컬 파일 경로만 있고 webUrl이 없어 이미지를 삽입하지 않았다. 해당 시점의 영상 링크는 각각 06:58, 08:27, 10:12이며, 실제 화면에 수식이나 도식이 표시되는지는 확인하지 못했다.
💬 본 리포트는 제공된 영상 내용을 바탕으로 재구성되었다. 정확한 발언과 화면 자료는 원본 영상을 참조할 수 있다.