Navier-Stokes 문제의 연구 진전: 알려진 결과와 남은 과제

90여 년 동안 수학자들은 약한 해가 모든 시간에 걸쳐 존재한다는 것(르레이), 특이점이 있다면 극도로 작아야 한다는 것(카파렐리–콘–니렌베르크), 첫 특이점에서 어떤 양이 폭발해야 하는지(비일–카토–마지다와 이후의 판정 기준), 그리고 에너지와 스케일링만으로는 폭발을 배제할 수 없다는 것(타오)을 증명했습니다. 2026년 9월 OpenAI는 매끄러운 외력이 있는 3차원 방정식에 대해 유한 시간 폭발의 증명, 즉 클레이의 붕괴 선택지를 발표했고, 클레이는 문제가 “해결된 것으로 보인다”고 밝혔습니다. 외력이 없는 흐름이 항상 매끄럽게 유지되는지는 여전히 미해결입니다.

이 페이지는 그 흐름을 따라갑니다. 먼저 이정표를, 이어서 2026년의 장과 그것이 이정표들과 어떻게 연결되는지 살펴봅니다. 날짜가 명시된 현황만 보려면 나비에-스토크스는 해결되었나?를 참고하세요.

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

90여 년 동안 수학자들은 약한 해가 모든 시간에 걸쳐 존재한다는 것(르레이), 특이점이 있다면 극도로 작아야 한다는 것(카파렐리–콘–니렌베르크), 첫 특이점에서 어떤 양이 폭발해야 하는지(비일–카토–마지다와 이후의 판정 기준), 그리고 에너지와 스케일링만으로는 폭발을 배제할 수 없다는 것(타오)을 증명했습니다. 2026년 9월 OpenAI는 매끄러운 외력이 있는 3차원 방정식에 대해 유한 시간 폭발의 증명, 즉 클레이의 붕괴 선택지를 발표했고, 클레이는 문제가 “해결된 것으로 보인다”고 밝혔습니다. 외력이 없는 흐름이 항상 매끄럽게 유지되는지는 여전히 미해결입니다.

아래에서는 이정표를 정확한 형태로 제시한 뒤, 주장된 외력 있는 붕괴(원고의 정리 1.1과 따름정리 10.6)를 그에 비추어 읽습니다. 날짜가 명시된 현황: 나비에-스토크스는 해결되었나?

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

이 분야를 재편한 결과들:

• 1934 — 르레이: 합리적인 모든 초기 데이터에 대해 시간 전역 약한 해가 존재함을 증명했습니다. 무언가는 영원히 지속됩니다. 그렇다면 그것은 매끄럽게 유지될까요? 이것이 르레이가 답하지 못한 질문이며, 외력이 없는 흐름에 대해서는 여전히 미해결입니다.
• 1982 — 카파렐리, 콘, 니렌베르크: 가능한 특이점의 집합이 극도로 작다는 것을 보였습니다 — 시공간에서 길이가 영입니다. 폭발이 일어나더라도 극히 희소합니다.
• 1984 — 비일, 카토, 마지다: 매끄러운 해가 붕괴될 수 있는 것은 와도가 폭발할 때뿐임을 확립했습니다. 이것은 정확한 목표를 제시했습니다: 와도를 제어하면 흐름을 제어합니다.
• 2016 — 타오: 나비에-스토크스의 평균화 버전에서 폭발을 구성하여, 특정 증명 전략이 실제 방정식에 적용될 수 없음을 보였습니다. 장벽 결과이지 해답이 아닙니다.
• 2019 — 버크마스터, 비콜: 외력이 전혀 없어도, 유한 에너지를 갖는 분포 의미의 약한 해는 유일하지 않을 수 있습니다. 이 해들은 르레이–호프 클래스 밖에 있습니다(Annals 2019).
• 2022 — 앨브리튼, 브뤼에, 콜롬보: 외력을 허용하면 르레이-호프 약한 해는 유일하지 않습니다. 에너지 부등식 클래스는 기대만큼 온순하지 않았고, 이로 인해 어떤 약한 해가 물리적으로 의미 있는지에 대한 질문이 더 날카로워졌습니다.

이 결과들이 2026년 발표와 어떻게 관련되는지는 다음 절에서 다룹니다.

• 1934 — 르레이: 데이터 $u_0 \in L^2(\mathbb{R}^3)$에 대한 $L^2$ 약한 해의 대역적 존재성, 에너지 부등식 만족. Acta Mathematica
• 1982 — 카파렐리-콘-니렌베르크 (CKN): 부분 정칙성 정리 — 특이 집합의 1차원 포물형 하우스도르프 측도가 영: $\mathcal{P}^1(\mathrm{sing}\, u)=0$. Comm. Pure Appl. Math.
• 1984 — 비일-카토-마지다 (BKM): 연속 기준 — $[0,T)$ 위의 매끄러운 해는 $\int_0^T \|\omega(\cdot,t)\|_{L^\infty}\,dt < \infty$일 때에만 $T$를 넘어 연장됩니다. 원래 오일러 방정식용; 나비에-스토크스에 적응됨. Comm. Math. Phys.
• 2016 — 타오: 실제 시스템과 동일한 에너지 및 스케일링 성질을 따르는 평균화 나비에-스토크스 방정식의 유한 시간 폭발. 정칙성의 어떤 증명도 에너지 추정과 스케일링만으로는 불가능하며 더 미세한 구조를 사용해야 함을 입증. J. Amer. Math. Soc.
• 2019 — 버크마스터–비콜: 볼록 적분을 이용한, 외력 없는 방정식에서 유한 운동 에너지를 갖는 분포 의미의 약한 해의 비유일성. 이 해들은 에너지 부등식을 만족하지 않으므로 르레이–호프 클래스 밖에 있습니다(Annals 2019).
• 2022 — 앨브리튼-브뤼에-콜롬보: 불안정한 자기유사 해를 이용한 강제 3차원 나비에-스토크스의 르레이-호프 해 비유일성. Ann. of Math.

다음 절에서는 2026년의 주장을 이 결과들에 비추어 읽습니다.

2026년 9월 8일 OpenAI는, 모든 양의 점성에 대해 정지 상태에서 출발해 콤팩트 지지를 갖는 매끄러운 외력으로 구동되는 매끄러운 해가 운동 에너지는 유계로 유지되면서도 유한 시간에 속도가 유계가 아니게 된다는 증명을 발표했습니다. OpenAI는 이것이 클레이의 선택지 C와 그 주기적 대응물 D를 확립한다고 밝힙니다. 9월 11일 클레이는 문제가 “해결된 것으로 보인다”고 밝혔으며, 평가는 의도적으로 서두르지 않습니다. 자세한 내용과 자료.

이전 연구와의 관계. 아래 항목은 일관성과 맥락에 관한 것이며, 어느 것도 증명을 검증하지 않습니다.

• 르레이의 질문. 르레이(1934)는 약한(“난류”) 해를 도입하면서도 매끄러운 해가 정칙성을 잃을 수 있는지는 열어 두었고, 자기유사 폭발 시나리오를 제안했습니다. 그 특정 시나리오는 이후 자연스러운 적분 가능성 조건 아래에서 배제되었습니다(네차스–루지치카–쉬베락, 1996; 차이, 1998). 2026년의 주장은 외력이 있는 설정에서 붕괴 질문에 답하며, 외력이 없는 흐름에 대해서는 여전히 미해결입니다.
• 부분 정칙성. 카파렐리–콘–니렌베르크는 특이 집합이 얼마나 클 수 있는지를 제한할 뿐, 특이점을 배제한 적은 없습니다. 따라서 폭발 구성은 이 결과와 충돌하지 않습니다.
• 연장 판정 기준. 비일–카토–마지다형 및 프로디–세린–라디젠스카야형 판정 기준은 첫 특이 시각에서 어떤 양이 유계가 아니게 되어야 하는지 알려 줍니다. 클레이의 문제 서술은 나비에–스토크스에서 유한 폭발 시각 근처에서 속도가 유계가 아니게 된다고 언급하며, 발표된 정리도 그 형태로 서술됩니다. 즉 특이 시각에 다가갈수록 최대 속도는 유계가 아니게 되고 에너지는 유계로 유지됩니다.
• 타오의 장벽. 타오의 평균화 방정식은 정칙성 증명이 에너지와 스케일링보다 더 미세한 실제 비선형성의 구조를 사용해야 함을 보였습니다. 발표된 구성은 실제 방정식을 다루지만 외력이 있으므로, 외력 없는 동역학에 폭발을 막는 구조가 있는지는 알려 주지 않습니다.
• 비유일성. 버크마스터–비콜(외력 없음, 르레이–호프 클래스 밖)과 앨브리튼–브뤼에–콜롬보(르레이–호프, 외력 있음)는 약한 해의 유일성에 관한 것입니다. 2026년의 주장은 매끄럽게 출발한 해가 매끄러움을 잃는 문제로, 별개의 질문입니다.
• 오일러. OpenAI는 외력 없는 3차원 Euler에서 매끄러운 데이터의 폭발도 발표했습니다. 이 비점성 결과는 외력 없는 점성 나비에–스토크스의 폭발을 확립하지 않습니다.

변하지 않은 것: 외력 없는 전역 정칙성 질문(클레이의 A와 B), 외력 없는 르레이–호프 해의 유일성, 그리고 부분 정칙성과 연장 판정 기준 연구 프로그램은 여전히 열린 연구 방향입니다. 부분 문제와 접근법을 참고하세요.

주장. 모든 $\nu>0$에 대해 원고는 $f\in C_c^\infty(\mathbb{R}^3\times(0,\infty);\mathbb{R}^3)$와 $\mathbb{R}^3\times[0,1)$ 위의 매끄러운 $(u,p)$를 구성하며, 이때 $u(\cdot,0)=0$, $\sup_{0\le t<1}\|u(t)\|_{L^2}<\infty$, $\limsup_{t\uparrow1}\|u(t)\|_{L^\infty}=\infty$입니다(정리 1.1, 선택지 C). 따름정리 10.6은 주기적 경우를 제시합니다(선택지 D). 클레이(9월 11일): “해결된 것으로 보인다”. 현황과 자료.

• 르레이. $\lambda(t)=(2a(T-t))^{-1/2}$인 르레이의 자기유사 가설 $u(x,t)=\lambda(t)U(\lambda(t)x)$는 $U\in L^3(\mathbb{R}^3)$에 대해 네차스–루지치카–쉬베락(1996)이, 국소 에너지 한계 아래에서 차이(1998)가 배제했습니다. 이 결과들은 하나의 폭발 프로파일을 제약할 뿐, 특이점을 일반적으로 배제하지 않습니다.
• CKN. $\mathcal{P}^1(S)=0$은 적합한 약한 해의 특이 집합의 크기를 제한합니다. 이는 고립된 특이점과 양립하므로 폭발 구성과 충돌하지 않습니다.
• 판정 기준. 비일–카토–마지다($\int_0^{T^*}\|\omega\|_{L^\infty}\,dt=\infty$), 프로디–세린–라디젠스카야($u\notin L^p_tL^q_x$, $2/p+3/q\le1$, $q>3$), 에스카우리아사–세레긴–쉬베락은 첫 특이 시각에서의 필요한 거동을 기술합니다. 페퍼먼의 문제 서술은 $\nu>0$일 때 유한 폭발 시각 근처에서 속도가 유계가 아니게 된다고 기록하며, 정리 1.1은 $L^2$ 노름이 유계인 상태에서 $\limsup_{t\uparrow1}\|u(t)\|_{L^\infty}=\infty$로 서술됩니다.
• 타오. 평균화 모형은 에너지 항등식과 스케일링만으로는 폭발을 막을 수 없음을 보입니다. 외력 있는 구성은 실제 비선형성을 사용하며, 외력 없는 실제 동역학이 에너지와 스케일링을 넘어서는 정칙성 메커니즘을 허용하는지는 영향을 받지 않습니다.
• 비유일성. 버크마스터–비콜(2019): 외력 없음, 분포 의미, 르레이–호프 밖. 앨브리튼–브뤼에–콜롬보(2022): 르레이–호프, 외력 있음. 2026년의 주장은 고전 해에 대한 정칙성(붕괴) 명제이며 유일성 명제가 아닙니다.
• 오일러. OpenAI는 외력 없는 3차원 Euler에서 매끄러운 데이터의 폭발도 발표했습니다. 이 비점성 결과는 외력 없는 점성 나비에–스토크스의 폭발을 확립하지 않습니다.

변하지 않은 미해결 문제로는 A/B($f\equiv0$), $f\equiv0$일 때 르레이–호프 유일성, 그리고 최적의 연장 판정 기준이 있습니다. 부분 문제와 접근법을 참고하세요.

이 페이지는 지도이지 영토가 아닙니다. 상세한 내용:

특정 연구 방향의 상세한 논의:

• 부분 문제 — 해결 및 부분 해결된 경우: 2차원 대역적 정칙성, 소용돌이 없는 축대칭, 임계 공간 결과 ($L^3$, $\dot{H}^{1/2}$, $BMO^{-1}$), BKM 너머의 조건부 정칙성 기준.
• 접근법 — 현재 활발히 연구 중인 주요 증명 전략: 에너지 및 엔스트로피 방법, 프로필 분해, 온건한 해 이론, 확률적 나비에-스토크스, 볼록 적분 프로그램, 계산 보조 한계.

자료 확인일: 2026-09-29 (JST). 이 페이지는 출판된 문헌과 공개 성명을 요약한 것이며, 증명에 대한 독립적인 감사가 아닙니다. 저장소는 검토 상태를 “self-assessed”(자체 평가)로 표시합니다. 이는 독립적인 검증을 확립하지도 않고, 다른 누구도 이 작업을 확인하지 않았음을 보여 주지도 않습니다. Lean 공개본과 원고는 검토할 자료를 제공하지만, 형식 명제가 의도한 정리와 일치하는지 확인하는 작업을 대신하지는 않습니다.

2026년 자료: Clay (2026-09-11) · OpenAI (2026-09-08) · 원고 (PDF) · Lean / GitHub.

자료 확인일: 2026-09-29 (JST). 이 페이지는 출판된 문헌과 공개 성명을 요약한 것이며, 증명에 대한 독립적인 감사가 아닙니다. 저장소는 검토 상태를 “self-assessed”(자체 평가)로 표시합니다. 이는 독립적인 검증을 확립하지도 않고, 다른 누구도 이 작업을 확인하지 않았음을 보여 주지도 않습니다. Lean 공개본과 원고는 검토할 자료를 제공하지만, 형식 명제가 의도한 정리와 일치하는지 확인하는 작업을 대신하지는 않습니다.

2026년 자료: Clay (2026-09-11) · OpenAI (2026-09-08) · 원고 (PDF) · Lean / GitHub.