나비에–스토크스는 해결됐나? 2026년 9월 업데이트

OpenAI는 클레이가 제시한 형태의 문제를 해결한다고 스스로 밝히는 증명을 발표했고, 클레이는 이 문제가 “해결된 것으로 보인다”고 밝혔습니다. 2026년 9월 8일 OpenAI는 정지 상태에서 출발해 매끄러운 외력으로 구동되는 3차원 비압축성 나비에–스토크스 방정식의 매끄러운 해가 유한 시간 안에 속도가 유계가 아니게 된다고 발표했으며, 이를 클레이 공식 문제의 붕괴 선택지 C와 D로 제시했습니다. 클레이의 공식 문제는 네 가지 가능한 답 중 어느 하나를 요구합니다. 클레이의 성명은 9월 11일에 나왔으며, 평가와 공로 인정은 의도적으로 서두르지 않고 진행되고, 상은 수여되지 않았습니다.

쉽게 말해, 질문은 물과 공기의 흐름을 기술하는 방정식이 완벽하게 매끄러운 출발점에서 무한한 속도를 만들어 내며 “깨질” 수 있느냐는 것이었습니다. 발표된 증명은 바깥에서 매끄러운 힘을 정확히 알맞은 방식으로 가하면 그렇다고 답합니다. 그런 힘 없이도 같은 일이 일어난다는 것을 보이지는 않으며, 실제 물이 무한한 속도에 도달한다고 예측하지도 않습니다.

자료 현황 확인일: 2026-09-29 (JST). 이 페이지는 일차 자료가 밝힌 내용을 전하는 것이며, 증명을 직접 검증한 것이 아닙니다.

일차 자료: Clay (2026-09-11) · OpenAI (2026-09-08) · Lean / GitHub · 클레이 공식 문제 서술 · 원고 (PDF).

OpenAI는 클레이가 제시한 형태의 문제를 해결한다고 스스로 밝히는 증명을 발표했고, 클레이는 이 문제가 “해결된 것으로 보인다”고 밝혔습니다. 2026년 9월 8일 OpenAI는 정지 상태에서 출발해 매끄러운 외력으로 구동되는 3차원 비압축성 나비에–스토크스 방정식의 매끄러운 해가 유한 시간 안에 속도가 유계가 아니게 된다고 발표했으며, 이를 클레이 공식 문제의 붕괴 선택지 C와 D로 제시했습니다. 클레이의 공식 문제는 네 가지 가능한 답 중 어느 하나를 요구합니다. 클레이의 성명은 9월 11일에 나왔으며, 평가와 공로 인정은 의도적으로 서두르지 않고 진행되고, 상은 수여되지 않았습니다.

공개된 원고는 (정리 1.1) 모든 점성 $\nu>0$에 대해 힘 $f\in C_c^\infty(\mathbb{R}^3\times(0,\infty);\mathbb{R}^3)$, 콤팩트 집합 $K\subset\mathbb{R}^3$, 그리고 $\mathbb{R}^3\times[0,1)$ 위의 매끄러운 $(u,p)$가 존재하여, $u_0=0$으로 방정식을 풀고, 속도와 압력이 전체 시간 구간에서 $K$에 지지되며, $\sup_{0\le t<1}\|u(t)\|_{L^2}<\infty$이지만 $\limsup_{t\uparrow1}\|u(t)\|_{L^\infty}=\infty$라고 주장합니다. 그 귀결로, 같은 힘과 같은 초기 데이터를 갖는 $\mathbb{R}^3\times[0,\infty)$ 위의 매끄러운 해 중 운동 에너지가 균등하게 유계인 것은 없다고 서술합니다. 이것이 선택지 C입니다. 따름정리 10.6은 $\mathbb{T}^3=\mathbb{R}^3/\mathbb{Z}^3$ 위의 주기적 대응물을 제시하는데, 시간에 대해 콤팩트 지지인 매끄러운 힘이 주어지고 전역 매끄러운 주기 해는 존재하지 않습니다. 이것이 선택지 D입니다. 힘은 $t=1$에서도, 그 이후에도 매끄럽게 유지됩니다. 이는 저자들의 정리 서술을 옮긴 것이며 여기서 검증한 것이 아닙니다: OpenAI — Navier–Stokes (PDF), 1.1 / 10.6.

자료 현황 확인일: 2026-09-29 (JST). 이 페이지는 일차 자료가 밝힌 내용을 전하는 것이며, 증명을 직접 검증한 것이 아닙니다.

일차 자료: Clay (2026-09-11) · OpenAI (2026-09-08) · Lean / GitHub · 클레이 공식 문제 서술.

• 2026년 9월 8일 — OpenAI. 매끄러운 외력이 있는 3차원 비압축성 방정식에 대해 유한 시간 폭발의 증명을 발표하고, 이것이 클레이 공식 정식화의 선택지 C(그리고 D)를 확립한다고 밝혔습니다. 원고와 Lean 형식화를 공개했으며, 별도로 외력 없는 3차원 오일러 방정식의 폭발도 발표했습니다. OpenAI는 밀레니엄 상을 청구할 의사가 없다고 밝혔습니다.
• 2026년 9월 10일 — 저장소. 우리가 확인한 시점에서 공개 Lean 저장소의 최신 커밋 날짜입니다. 저장소 메타데이터는 여전히 검토 상태를 “self-assessed”(자체 평가)로 표시합니다.
• 2026년 9월 11일 — 클레이 수학연구소. “나비에-스토크스 문제가 해결된 것으로 보인다는 발표를 숙고하며 전 세계 수학계의 설렘을 함께 나눈다”고 밝히고, 연구를 평가하고 공로를 인정하는 절차는 “의도적으로 서두르지 않는다”고 밝혔습니다.
• 2026년 9월 29일 — 우리의 자료 확인. 클레이의 발표 및 뉴스 페이지에는 이후의 결정이 나타나지 않았습니다. 이는 해당 페이지만 확인한 것이며, 모든 기관 성명이나 모든 독립 검토에 대한 주장이 아닙니다.

• 2026년 9월 8일 — OpenAI. 매끄러운 외력이 있는 3차원 비압축성 방정식에 대해 유한 시간 폭발의 증명을 발표하고, 이것이 클레이 공식 정식화의 선택지 C(그리고 D)를 확립한다고 밝혔습니다. 원고와 Lean 형식화를 공개했으며, 별도로 외력 없는 3차원 오일러 방정식의 폭발도 발표했습니다. OpenAI는 밀레니엄 상을 청구할 의사가 없다고 밝혔습니다.
• 2026년 9월 10일 — 저장소. 우리가 확인한 시점에서 공개 Lean 저장소의 최신 커밋 날짜입니다. 저장소 메타데이터는 여전히 검토 상태를 “self-assessed”(자체 평가)로 표시합니다.
• 2026년 9월 11일 — 클레이 수학연구소. “나비에-스토크스 문제가 해결된 것으로 보인다는 발표를 숙고하며 전 세계 수학계의 설렘을 함께 나눈다”고 밝히고, 연구를 평가하고 공로를 인정하는 절차는 “의도적으로 서두르지 않는다”고 밝혔습니다.
• 2026년 9월 29일 — 우리의 자료 확인. 클레이의 발표 및 뉴스 페이지에는 이후의 결정이 나타나지 않았습니다. 이는 해당 페이지만 확인한 것이며, 모든 기관 성명이나 모든 독립 검토에 대한 주장이 아닙니다.

나비에–스토크스 방정식에서 힘 항 $f$는 바깥에서 유체를 미는 모든 것, 즉 중력, 휘젓는 패들, 펌프 등을 나타냅니다. $f=0$이면 유체는 초기 상태에서 그대로 전개됩니다.

찰스 페퍼먼이 작성한 클레이의 공식 문제 서술은 문제를 해결하는 네 가지 방법을 제시하고, 그중 하나면 충분하다고 말합니다. 두 가지는 존재성 명제로, 매끄럽고 잘 행동하는 모든 초기 흐름이 영원히 매끄럽게 유지된다는 것입니다. 이 둘은 외력 없이 제기됩니다(A는 전체 공간, B는 주기적 상자). 나머지 둘은 붕괴 명제이며, 여기서는 힘과 그 모든 도함수가 빠르게 감쇠하는 한, 매끄러운 초기 흐름과 매끄러운 외력을 모두 선택할 수 있습니다. 감쇠 조건은 전체 공간에서는 공간과 시간 모두에 대한 것이고(C), 주기적 상자에서는 시간에 대한 것입니다(D). 문제 서술은 네 선택지에 대해 “문제의 핵심을 유지하면서 풀이자에게 합리적인 재량을 준다”고만 설명합니다.

아닙니다. 발표된 구성은 신중하게 선택된 매끄러운 외력에 의존합니다. 외력이 없는 모든 매끄러운 흐름이 영원히 매끄럽게 유지되는지(선택지 A와 B)는 이 결과로 결정되지 않으며, 클레이의 문제 서술도 이를 요구하지 않습니다. 네 가지 모두가 아니라 하나의 선택지를 요구하기 때문입니다.

발표된 구성의 힘은 숨겨진 특이점이 아닙니다. 힘은 매끄럽고, 공간의 유계 영역과 유계 시간 구간에 국한되며, 속도가 유계가 아니게 되는 순간에도 매끄럽게 유지됩니다. 전체 운동 에너지도 유계로 유지됩니다. 에너지가 유계라고 해서 최대 속도가 유계가 아니게 되는 것을 막지는 못합니다. 운동이 점점 더 작은 영역에 집중될 수 있기 때문입니다.

계를 $\partial_t u + (u\cdot\nabla)u = -\nabla p + \nu\Delta u + f$, $\nabla\cdot u=0$으로 씁니다. A와 B에서는 $f\equiv0$이며 명제는 전칭적입니다. 즉 모든 허용 $u_0$가 전역 매끄러운 해를 가집니다($\mathbb{R}^3$에서는 유계 에너지와 함께). C와 D에서는 명제가 존재적입니다. 즉 요구되는 클래스 안에 전역 매끄러운 해가 없는 허용 쌍 $(u_0,f)$가 존재합니다. $\mathbb{R}^3$에서 힘은 조건 (5)를 만족해야 합니다.

$$|\partial_x^\alpha\partial_t^m f(x,t)|\le \frac{C_{\alpha m K}}{(1+|x|+t)^{K}},$$

이는 모든 다중지표 $\alpha$와 모든 $m,K$에 대해 성립해야 합니다. $\mathbb{T}^3$에서는 $t$에 대한 감쇠만 요구하는 조건 (9)를 만족해야 합니다. 시공간에서 콤팩트 지지를 갖는 매끄러운 힘은 (5)를 만족합니다.

따라서 C는 A의 부정이 아닙니다. A의 부정은 $f\equiv0$이고 유계 에너지의 전역 매끄러운 해가 없는 허용 $u_0$일 것입니다. C는 매끄럽고 빠르게 감쇠하는 힘까지 함께 선택한 반례를 받아들입니다. 공식 문서는 네 갈래 정식화의 이유를 “문제의 핵심을 유지하면서 풀이자에게 합리적인 재량을 준다”는 것으로만 제시합니다. C나 D의 증명은 제기된 형태의 문제를 해결하지만, A와 B의 참거짓은 결정되지 않은 채로 남깁니다.

아닙니다. 발표된 구성은 신중하게 선택된 매끄러운 외력에 의존합니다. 외력이 없는 모든 매끄러운 흐름이 영원히 매끄럽게 유지되는지(선택지 A와 B)는 이 결과로 결정되지 않으며, 클레이의 문제 서술도 이를 요구하지 않습니다. 네 가지 모두가 아니라 하나의 선택지를 요구하기 때문입니다.

클레이는 네 선택지 전부가 아니라 하나의 증명을 요구합니다: (A) R³에서 외력 없는 전역 매끄러운 해의 존재, (B) 주기적 토러스 T³에서 외력 없는 전역 매끄러운 해의 존재, (C) 허용되는 매끄러운 외력을 포함할 수 있는 R³에서의 붕괴, (D) 허용되는 매끄러운 외력을 포함할 수 있는 주기적 붕괴. A/B는 모든 허용 초기 데이터를 대상으로 하며 C/D는 허용 반례를 요구합니다. 외력이 있는 붕괴는 A/B를 반박하지 않습니다.

정확한 조건(감쇠, 에너지 한계, 주기성)은 클레이 공식 문제 서술 해설을 참고하세요. 그곳에서는 발표된 정리를 C와 D에 한 줄씩 대응시켜 봅니다.

아래 전공간 조항은 A와 C의 요약이지 모든 공식 가정의 목록은 아닙니다. A에서는 $f=0$입니다. C에서는 힘의 모든 공간·시간 미분이 클레이의 감쇠 조건을 만족해야 하며, 존재하지 않는다는 전역 해는 공식 서술의 매끄럽고 에너지가 유계인 해의 클래스에 속합니다. 주기적 선택지는 B와 D입니다.

클레이는 네 선택지 전부가 아니라 하나의 증명을 요구합니다: (A) R³에서 외력 없는 전역 매끄러운 해의 존재, (B) 주기적 토러스 T³에서 외력 없는 전역 매끄러운 해의 존재, (C) 허용되는 매끄러운 외력을 포함할 수 있는 R³에서의 붕괴, (D) 허용되는 매끄러운 외력을 포함할 수 있는 주기적 붕괴. A/B는 모든 허용 초기 데이터를 대상으로 하며 C/D는 허용 반례를 요구합니다. 외력이 있는 붕괴는 A/B를 반박하지 않습니다.

1. (A) 존재성과 매끄러움: 모든 $u_0 \in C^\infty(\mathbb{R}^3)$, $\nabla \cdot u_0 = 0$, $|\partial_x^\alpha u_0(x)| \leq C_{\alpha K} (1 + |x|)^{-K}$ (모든 $\alpha, K$)에 대해, 방정식을 만족하는 $(u, p) \in C^\infty(\mathbb{R}^3 \times [0,\infty))$의 존재성을 증명하며, $\int_{\mathbb{R}^3} |u(x,t)|^2 \, dx < C$가 모든 $t \geq 0$에 대해 성립함을 보임.
2. (C) 붕괴: $u_0 \in C^\infty(\mathbb{R}^3)$(발산이 없고 지정된 감쇠를 만족)와 힘의 미분에 대한 감쇠 조건 (5)를 만족하는 $f \in C^\infty(\mathbb{R}^3 \times [0,\infty))$를 제시하여, 지정된 초기 데이터와 시간에 대해 균일하게 유계인 운동에너지를 가진 어떤 $(u,p) \in C^\infty(\mathbb{R}^3 \times [0,\infty))$도 계를 만족하지 않음을 보입니다.

서로 다른 세 가지가 쉽게 뒤섞입니다.

• 수학적 주장. 긴 원고와 Lean 형식화입니다. 저장소는 주요 결과가 미완성 단계(“sorry”) 없이 완전히 형식화되었다고 보고하며, 검토 상태를 “self-assessed”(자체 평가)로 표시합니다. 이 표시는 저자들 자신의 메타데이터입니다. 독립적인 검증을 확립하지도 않고, 다른 누구도 이 작업을 확인하지 않았음을 보여 주지도 않습니다. 형식 증명은 의도한 정리 서술과도 대조해야 하며, 이는 별도의 확인 작업입니다.
• 클레이의 반응. 9월 11일 성명은 문제가 해결된 것으로 보인다는 점을 인정합니다. 이는 인증이나 상 수여가 아니며, 수상자를 지명하지도 않습니다.
• 상 수여 절차. 클레이 규정은 자격을 갖춘 매체에 출판, 출판 후 최소 2년 경과, 수학계의 전반적 수용 등의 조건을 제시합니다. OpenAI는 100만 달러의 상을 청구할 의사가 없다고 밝혔습니다. 어느 쪽도 특정 날짜나 결과를 함의하지 않습니다.

이 사이트는 공개 자료를 전합니다. 우리는 증명을 감사하거나 Lean 프로젝트를 빌드하거나 형식 명제와 비형식 명제의 대응을 확인하지 않았습니다.

OpenAI는 외력 없는 3차원 Euler에서 매끄러운 데이터의 폭발도 발표했습니다. 이 비점성 결과는 외력 없는 점성 나비에–스토크스의 폭발을 확립하지 않습니다.

• 원고. 위에서 인용한 정리 1.1(전체 공간)과 따름정리 10.6(주기적 경우). 주기적 따름정리는 별도의 에너지 부등식을 명시하지 않으며, 공식 선택지 D도 이를 요구하지 않습니다.
• 형식화. 저장소 메타데이터(커밋 f9e8bc5, 2026년 9월 10일)는 정리 1.1과 따름정리 10.6을 두 개의 Lean 선언에 대응시키고, sorry가 0개이며 표준 공리 propext, Classical.choice, Quot.sound만 사용한다고 보고하고, C와 D의 참조 서술을 Formal Conjectures 프로젝트에서 가져옵니다. 검토 상태는 “self-assessed”(자체 평가)입니다. 이는 저자가 제공한 사실이며, 빌드, 공리 감사, 그리고 형식 명제가 페퍼먼의 원문과 일치하는지에 대한 확인은 이 사이트가 수행하지 않은 별개의 작업입니다.
• 기관과 상. 클레이(9월 11일): “해결된 것으로 보인다”, 평가와 공로 인정은 “의도적으로 서두르지 않는다”. 클레이 규정은 조건으로 자격을 갖춘 출판, 2년의 기간, 전반적 수용 등을 제시합니다. OpenAI는 100만 달러의 상을 청구할 의사가 없다고 밝힙니다.

OpenAI는 외력 없는 3차원 Euler에서 매끄러운 데이터의 폭발도 발표했습니다. 이 비점성 결과는 외력 없는 점성 나비에–스토크스의 폭발을 확립하지 않습니다.

이 문제는 완전히 어둠 속에 있지 않습니다 — 수학자들은 지난 한 세기에 걸쳐 깊은 진전을 이루었습니다:

• 약한 해는 존재한다 (르레이, 1934). 해의 개념을 약화하면 전역 해가 존재합니다. 외력이 없을 때 그 해가 매끄럽고 유일하게 유지되는지는 여전히 미해결입니다.
• 2차원은 해결되었다. 2차원에서는 매끄러운 해가 모든 시간에 걸쳐 존재합니다. 이는 오래전부터 알려져 있으며, 클레이의 문제 서술은 이를 라디젠스카야의 업적으로 돌립니다. 어려움은 3차원에 고유한 것입니다.
• 특이점은 희소합니다 (카파렐리-콘-니렌베르크, 1982). 3차원에서 특이점이 존재하더라도, 1차원 포물형 하우스도르프 측도가 영인 집합에 한정됩니다. 방정식의 자연스러운 기하에서 보면 극도로 작은 집합입니다.
• 짧은 시간 해가 존재합니다. 매끄러운 초기 데이터에 대해, 적어도 짧은 시간 동안 유일한 매끄러운 해가 존재합니다. 문제는 이것이 영원히 계속될 수 있는지입니다.

따라서 간극은 좁지만 깊습니다. 해가 매끄럽게 출발한다는 것도, 약한 해가 전역적으로 지속된다는 것도 알지만, 외력이 없는 3차원 흐름에서 매끄러움이 항상 유지된다는 것을 증명한 사람은 없으며, 외력 없는 반례도 알려져 있지 않습니다.

확립된 주요 결과:

• 르레이 (1934): 에너지 부등식 $\|u(t)\|_{L^2}^2 + 2\nu \int_0^t \|\nabla u(s)\|_{L^2}^2 \, ds \leq \|u_0\|_{L^2}^2$을 만족하는 전역 약한(분포적) 해가 존재합니다. $f\equiv0$일 때 이 클래스에서의 유일성은? 미해결.
• 2차원: 2차원 비압축성 문제에서는 매끄러운 발산 없는 데이터가 유일한 전역 매끄러운 해를 줍니다. 오래전부터 알려진 사실이며, 클레이의 문제 서술은 라디젠스카야를 인용합니다.
• 카파렐리-콘-니렌베르크 (1982): 적합한 약한 해에 대한 부분 정칙성 — 특이 집합의 1차원 포물형 하우스도르프 측도가 영: $\mathcal{P}^1(S) = 0$.
• 국소 적정성: $s > 3/2$인 발산 없는 $u_0 \in H^s(\mathbb{R}^3)$에 대해, 또는 스케일링 임계 공간 $\dot{H}^{1/2}(\mathbb{R}^3)$에서(후지타–카토, 1964), 어떤 구간 $[0, T^*)$ 위에 유일한 국소 강한(mild) 해가 존재하며, 이 해는 양의 시간에서 매끄럽습니다. 코흐–타타루(2001)는 임계 공간 $BMO^{-1}$에서 충분히 작은 데이터에 대한 전역 적정성을 증명했습니다. 모든 허용 데이터에 대해 $T^* = \infty$일까요?

간극은 여기에 있습니다. 약한 해가 전역적으로 존재한다는 것과 강한 해가 완전한 유일성과 함께 국소적으로 존재한다는 것은 알려져 있습니다. $f\equiv0$일 때 강한 해를 항상 모든 시간으로 연장할 수 있는지는 미해결이며, 2026년의 주장은 외력이 있는 데이터에 관한 것입니다.

여기에 제시한 에너지 추정은 외력이 없는 경우입니다. 외력이 있으면 우변에 일 항도 포함됩니다: $2\int_0^t\!\int f(x,s)\cdot u(x,s)\,dx\,ds$.

• 외력 없는 전역 정칙성. 외력이 없는 모든 매끄러운 유한 에너지 흐름은 영원히 매끄럽게 유지될까요(클레이의 A와 B)? 발표된 결과는 이를 결정하지 않습니다.
• 외력 없는 유일성. 특별히 설계된 힘을 사용해 앨브리튼, 브뤼에, 콜롬보(2022)는 르레이–호프 약한 해가 유일하지 않을 수 있음을 보였습니다. 외력이 없을 때 이 클래스의 유일성은 미해결입니다.
• 확인과 수용. 전문가의 원고 검토, 형식 명제와 비형식 명제의 대조, 규정에 따른 클레이의 평가는 서로 별개의 단계입니다. 여기서 확인한 자료에는 완료된 상 평가가 보고되어 있지 않습니다.
• 메커니즘. 이 구성이 점성 흐름이 어떻게 집중될 수 있는지에 대해 무엇을 드러내는지, 그리고 외력 없이도 비슷한 일이 일어날 수 있는지는 연구 과제입니다.

부분 정칙성, 연장 판정 기준, 약한 해 이론은 여전히 이런 질문을 다루는 작업 도구입니다. 부분 문제와 2026년을 포함한 진전의 역사를 참고하세요.

• A/B. $f\equiv0$이고 모든 허용 $u_0$($\mathbb{R}^3$에서 감쇠하거나 주기적인 경우)에 대해 전역 매끄러운 해가 존재할까요? 증명도, 외력 없는 반례도 알려져 있지 않습니다.
• $f\equiv0$일 때 르레이–호프 유일성. 미해결. 비유일성은 적절한 힘이 있는 경우(앨브리튼–브뤼에–콜롬보, 2022)와, 외력이 없는 경우 르레이–호프 클래스 밖의 분포 의미의 약한 해에 대해(버크마스터–비콜, 2019) 알려져 있습니다.
• 검증. 독립적인 검토, 형식 명제와 비형식 명제의 대응, 클레이의 절차는 발표와 별개입니다.
• 특이점의 구조. 발표된 외력 있는 특이점의 속도, 기하, 안정성, 그리고 이들이 Type I/Type II 시나리오 및 외력 없는 문제의 연장 판정 기준과 맺는 관계.

부분 문제와 연구 진전을 참고하세요.

외력이란 속도 방정식에 바깥에서 더해지는 입력을 뜻하며, 무한히 커지는 힘을 뜻하지 않습니다. 나비에–스토크스 방정식은 연속체 모형입니다. 유체를 매끄러운 물질로 다루며 분자 규모에서는 정확한 기술이 아닙니다. 방정식의 특이점은 그 모형의 수학에 관한 명제입니다. 실제 물이나 공기가 무한한 속도에 도달한다고 예측하는 것이 아니며, 이번 발표는 임의의 흐름에 대한 닫힌 형태의 공식도, 새로운 공학적 방법도 아닙니다.

그럼에도 이 질문은 물리학과 공학에 의미가 있습니다. 방정식은 매일 사용되며, 방정식이 붕괴할 수 있는지를 아는 것은 모형 자체가 무엇을 보장할 수 있고 무엇을 보장할 수 없는지 알려 줍니다.

이 결과는 이상화된 편미분방정식, 즉 밀도와 점성이 일정한 비압축성 뉴턴 연속체의 고전 해에 관한 것입니다. $t=1$에서 $\|u\|_{L^\infty}$가 유계가 아니라는 것은 그 모형의 성질이며, 모형의 가정(연속체 가설, 구성 법칙, 비압축성)은 임의로 작은 규모에서 성립하도록 설계된 것이 아닙니다. 그런 메커니즘의 물리적 관련성은 정리가 다루지 않는 별개의 질문입니다.

또한 이것은 일반적인 해의 공식도 아닙니다. 닫힌 형태의 정확한 해는 여전히 특수한 경우에 한정되며, 실제 계산은 여전히 수치적입니다. 나비에-스토크스 방정식 풀이를 참고하세요.

• 1822 — 나비에가 분자적 고려에서 방정식을 유도
• 1845 — 스토크스가 현대적 수학적 형태를 부여
• 1934 — 르레이가 약한 해가 대역적으로 존재함을 증명
• 1969: 라디젠스카야의 단행본. 클레이의 문제 서술은 2차원 이론에 대해 이 책을 인용합니다. 2차원 전역 정칙성은 오래전부터 알려져 있습니다.
• 1982 — 카파렐리, 콘, 니렌베르크가 부분 정칙성을 증명: 가능한 특이점 집합은 1차원 포물형 하우스도르프 측도 0
• 1984 — 비일, 카토, 마지다가 3차원 오일러 방정식에서 폭발로의 유일한 경로가 유계 없는 와도임을 보임 (이 기준은 나비에-스토크스로 확장)
• 2000 — 클레이 수학 연구소가 밀레니엄 상 문제로 지정
• 2014: 타오가 방정식의 평균화 버전에서 폭발을 구성(프리프린트, 2016년 출판)하여, 에너지와 스케일링만으로는 특이점을 배제할 수 없음을 보였습니다.
• 2026: OpenAI가 클레이의 C와 D를 주장하는, 매끄러운 외력에 의한 폭발의 증명을 발표했습니다. 클레이는 문제가 “해결된 것으로 보인다”고 밝혔으며, 평가는 의도적으로 서두르지 않습니다.

전체 이야기는 나비에-스토크스 문제의 연구 진전을 참고하세요.

• 1822 — 나비에: 분자 응력 모델에서 방정식 유도
• 1845 — 스토크스: 엄밀한 연속체 유도
• 1934 — 르레이: $L^2$에서 약한 해의 대역적 존재성; 르레이 사영자와 에너지 부등식 도입
• 1951 — 호프: 르레이의 구성을 유계 영역으로 확장 (르레이-호프 약한 해)
• 1962 — 세린: 조건부 정칙성 — $u \in L^p_t L^q_x$, $2/p + 3/q \leq 1$이고 $q > 3$이면 매끄럽다. 끝점 $L^\infty_t L^3_x$는 Escauriaza-Seregin-Šverák가 2003년에 해결했다
• 1969: 라디젠스카야의 단행본. 2차원 전역 정칙성은 오래전부터 알려져 있음.
• 1982 — 카파렐리-콘-니렌베르크: 스케일된 에너지 추정을 통한 부분 정칙성; $\mathcal{P}^1(S) = 0$
• 1984 — 비일-카토-마지다: 3차원 오일러의 폭발 기준 — $T^* < \infty$이면 $\int_0^{T^*} \|\omega(s)\|_{L^\infty} \, ds = \infty$ (유사한 연속 기준이 나비에-스토크스에도 성립)
• 2000 — 클레이 밀레니엄 문제 지정 (페퍼만 공식화)
• 2014 — 타오: 평균화 나비에-스토크스 방정식의 유한 시간 폭발 (프리프린트; JAMS 2016 출판), 순수 구조 보존 논법으로는 특이점을 배제할 수 없음을 입증
• 2026: C와 D를 주장하는, 매끄러운 외력에 의한 폭발 발표(원고 정리 1.1, 따름정리 10.6). 클레이: “해결된 것으로 보인다”.

맥락과 연결: 연구 진전.

이 기사는 미해결 문제의 일부입니다.

현황을 알았으니, 더 깊은 질문을 탐구하십시오: 왜 이 문제가 그토록 어려운가?, 수학자들이 작업 중인 핵심 부분 문제, 그리고 시도한 접근법.

클레이의 엄밀한 서술은 밀레니엄 문제 페이지를 참고하십시오. 이 문제가 어떤 버전의 방정식에 관한 것인지 이해하려면 비압축성 vs. 압축성 나비에-스토크스를 참고하십시오.

이 기사는 미해결 문제의 일부입니다.

정확한 클레이 공식화와 상금 조건은 밀레니엄 문제를 참고하십시오. 수학적 장애물은 왜 어려운가를 참고하십시오. 부분적 결과와 전략의 풍경은 부분 문제와 접근법을 참고하십시오. 클레이 문제가 어떤 버전의 방정식을 연구하는지는 비압축성 vs. 압축성 나비에-스토크스를 참고하십시오.