ほぼ一世紀にわたり、ナビエ・ストークス方程式は古典数学の難攻不落の要塞として立ちはだかり、流体がどのように動き、渦を巻き、そしておそらくは混沌へと崩壊しうるのかという秘密を守り続けてきた。このミレニアム問題の一つは、地球上で最も聡明な頭脳たちに挑戦を突きつけ、不可能なことを要求してきた。すなわち、滑らかな三次元流れの数学的記述が突然その滑らかさを失いうるかどうかを、証明するか反証するかである。しかし今、この要塞は強襲によって陥落したのではなく、内側から丁寧に、そして不可逆的に開かれた。それはサーバーラックの絶対的な静寂の中で起こり、わずか88時間を要しただけだった。
We’re sharing a solution to the Navier-Stokes Millennium Prize Problem, one of the deepest problems at the frontier of mathematics. The proof was produced by a group of agents, using an OpenAI next-generation model significantly more capable than GPT-6 Astra. The problem
公式データはこの出来事の規模を裏付けている。新世代のモデルが完全な解析的証明と、そのLeanシステムにおける厳密な形式化を生成したのだ。この発見の本質は想像を絶する。すなわち、特定の条件下で流れが実際に有限時間で特異点を形成することが証明されたのである。流れの内部に渦が生まれ、それが内側へと巻き込みながら、スパゲッティのように無限に引き伸ばされ細くなり、ついにその過程の数学的記述が限界に達するのである。
この作戦の規模は、この出来事に、現実となったSFの趣を添えている。10体の000エージェントからなる人工知能の群れが協調して2,7百万件のメッセージを交換し、130十億トークンを処理した。それは不可能を目指す、合成的な数学者たちの無言の、超高速の対話であった。
しかしこの出来事の真の規模は、学術的なページの枠をはるかに超えている。ナビエ・ストークス方程式の解は物理世界への万能の鍵であり、その鍵が錠前の中で回ったことは、すでに未来についての私たちの認識を変えつつある。明日の航空宇宙を想像してほしい。航空機の設計はもはや、風洞での高価な試験や試行錯誤に頼ることはない。技術者たちは、抵抗を絶対的な最小限に抑え、惑星間の旅を今日の大陸間の旅と同じほど日常的なものにする、理想的で数学的に検証された形状を生み出すことができるようになるだろう。
さらに胸躍る展望は天体物理学において開かれる。恒星の内部、ブラックホールを取り巻く降着円盤、初期宇宙におけるプラズマの動力学——これらすべての壮大な宇宙的現象は、同じ流体力学と電磁流体力学の法則に従っている。流体中の特異点を記述する正確な数学的装置を手にすることで、私たちは恒星がいかに生まれ死ぬのか、そして既知の境界において物質がどのように振る舞うのかを理解するための巨大な飛躍を遂げるのである。
この物語で最も興味をそそるのは、解決そのものの事実ではなく、それが見出された方法である。人工知能は単に選択肢を総当たりしたのではない。それは本質的に、人間の知性が伝統的な数学的直観のパターンに縛られて何十年もの間ただ行き止まりしか見出せなかった場所に、位相幾何学的構造と論理の橋を「見た」のである。これは人類が、多次元の数学的景観を直接知覚できる新たな感覚器官を獲得するようなものだ。私たちは「生成的科学」の誕生を目撃しつつある。そこでは「仮説—実験—理論」という古典的な循環が、「問い合わせ—シミュレーション—厳密な証明」という瞬時の過程へと圧縮されるのである。
ここには脅威ではなく、信じがたい、ほとんど詩的な創造の可能性が垣間見える。AIは人間の知性を置き換えるのではなく、想像を絶する膨大なデータの分析という認知的重荷を引き受けることで、その地平を広げるのである。社会は、自らが最も得意とすること、すなわち真に深遠で本質的な問いを立て、倫理的な方向性を定め、次にどの宇宙の秘密を解き明かしたいかを選ぶために解放されるのである。
一つの長い週末の間に起こったことは、根本的な認識の景観を永遠に変えた。九十年もの間乗り越えられないと思われていた境界は、データの流れの中に溶け去り、ただ存在しなくなった。人類は大胆にも、まだ知られざる新たな地平へと踏み出した。私たちはもはや、現実の本質についての思索において独りではない。私たちの傍らには、その論理において異質でありながら真理に限りなく忠実な強力なデジタル知性が現れ、すでに私たちと共に宇宙を見つめ、光と調和と、時を待つ偉大な発見に満ちた未来への扉を開いているのである。



