この論文は、3次元ナビエ–ストークス方程式で「見かけ上の特別な振る舞い」を持つ解に対して、想定された時間・場所での発散（特異点）は起きないと証明します。具体的には、角度方向の平均（回転で平均した成分）が特異な非自己相似な成長規則（Type II と呼ばれる不均方的な振る舞い）を満たし、かつ中心近くの小さな領域では解が正確に軸対称（ある軸まわりの回転で変わらない）であるという二つの性質を仮定します。さらに空間変数に関して実解析的（real-analytic）な外力を与えると、その「疑わしい」特異点は実は滑らかであることを示します。要点を先に言えば、これらの条件下では爆発は起きません。

背景には、OpenAI の最近の原稿が滑らかな外力下で有限時間での特異点形成を主張したことがあります。本稿の著者らはその全体の正しさを検証したとは主張していません。代わりに、その原稿に現れるいくつかの特徴のうち上に挙げた二つの性質を仮定して議論を進めます。角度平均とは、円柱座標で角度方向に一周平均した速度成分のことです。軸対称であるとは、回転しても場の形が変わらない状態を指します。Type II の境界は、成分ごとに時間や微分に対する異なる「費用」を課すような非対称な大きさの制約です。

論文の主張は定理としてまとめられています。外力については、特異時刻まで空間2次導関数までが有界であること（C^2 の有界性）と、各固定時間で空間方向に実解析的であることを仮定します。実解析性は時間に沿って均一でなくてもよく、特異時刻に近づくと解析の幅が小さくなっても許されます。これらの外力の仮定と、角度平均の Type II 境界および中心領域での厳密な軸対称性が同時に成り立つとき、論文はその点が正則（無限大にはならない）であると結論します。帰結として、もし OpenAI のような構成が仮にこれら二つの性質を満たし、外力が特異時刻まで C^2 有界であったならば、その外力は特異点の近くで空間変数について実解析的であってはならないし、近傍で一様に消えていてもいけない、という排除結果を得ます。

証明の大まかな方針は、問題の特異点に向かって「ズームイン」することです。角度平均に与えられた不均方的な長さスケールを使って座標を拡大していくと、過去全体に定義されたいわゆる“古典解（ancient limits）”が現れます。これらの古い解を支配する偏微分方程式の性質が追加の剛性（変化を制限する性質）を与え、最終的に想定された発散が矛盾することを導きます。著者らは以前の自分たちの研究と同行論文からこのアイデアを引き継いでいます。論証では、Caffarelli–Kohn–Nirenberg の枠組みにおける「適切弱解（suitable weak solutions）」の概念を用いており、局所的なエネルギー制御や回転平均の扱いを細かく扱います。

重要な留意点もあります。主結果は上に挙げた二つの性質と外力の解析性・C^2 有界性を同時に仮定することを必要とします。したがって、これらの仮定を欠く別のタイプの爆発の可能性は本稿では否定されません。また、著者らは OpenAI の構成の全てを検証したとは述べておらず、本稿はその構成が満たすとされる特定の性質に基づく論理的帰結を示したものです。最後に、主張は数学的に厳密な前提の下で得られたものであり、工学的や物理的な直ちに新しい応用を示すものではありませんが、どのような外力や対称性の組み合わせが真の特異点形成を許すかを絞り込む上で役に立つ結果です。