2026年9月8日、Open AI はNavier–Stokesの存在と滑らかさ問題のAI生成解を発表し、7つのミレニアム問題の一つとした。この発表は、人間とマシンの間でのクレジット分配についてのdebateを引き起こし、Tristan Buckmasterはそれを"Deep Blue–Kasparov moment"と呼んだ。数学がチェスやゴーのように"解かれた"のではないかという存在主義的な疑問が浮上した。

AIが数学を"解いた"というナラティブは、2つの欠陥ある前提の上に成り立っている：まず、AIが本当に数学的問題を解いたという前提、そして第二に、数学は問題を解くことだけについてという前提。正式に認証された答えでさえ、人間の数学者が理解し、その上に構築できる明白な証明がない限り不十分である。

数学は問題解決よりはるかに広い。数学者は新しい概念を開発し、新しい問いを立て、分野を統合し、コミュニティを教育し、美しさと深みで価値ある作品を創造する。"遊び続ける"と退却するのではなく、数学が本当に何であり、我々が何にしたいのかを検証するべきだ。

Open AI は答えを提供した—はい、Navier–Stokesは singularityを発展させ得る—とLeanの形式化と非公式な草稿を添えて。Deep Thoughtの"42"より多いが、証明自体には多種の概念があり、根本的な理解は不完全のままだ。

主要なエンティティ：企業：Open AI | 人物：Silvia De Toffoli, Eamon Duede, Tristan Buckmaster, C. Thi Nguyen | 場所：University School for Advanced Studies IUSS Pavia, Princeton University, Purdue University