OpenAIは8年2026月、社内AIシステムがミレニアム問題の一つであるナビエ–ストークス方程式の解の存在と滑らかさの問題を解決したと発表した。
同社によると、その証明は、静止した滑らかな流体が滑らかな力の作用下で有限時間内に特異性を発達させ得ることを示しており、その間エネルギーは有限に保たれる。
この解決は、約88時間にわたって稼働した数千のAIエージェントによって達成され、Leanで形式化された。
この発表は、数学コミュニティで即座に論争を引き起こした。
ニューヨーク大学のトリスタン・バックマスター教授とAnthropicの研究者レヴェント・アルペゲは、その直前に、ナビエ–ストークス問題の解決への重要なステップと見なされる関連問題に関する結果を発表していた。
バックマスターは、OpenAIが自分たちの研究の方向性を知り、類似したアプローチを用いて自社の取り組みを加速させた可能性があるとの懸念を表明した。
同社は、他者のデータや草稿へのアクセスがあったという非難を否定し、他のミレニアム問題での進展に関する公開情報に基づいて行動したと述べた。
AIエージェントがどのようにして証明に到達したのか、そしてそれが独立したブレークスルーと見なせるのかどうかについて、現在数学者やAI専門家が議論している。
この出来事が、未発表の結果に取り組む際の商用モデルの利用に対する研究者の信頼に影響を与えるかどうかは興味深い。
OpenAIは、クレイ研究所からの100万ドルの賞金を請求するつもりはないと強調した。
この出来事は、数学におけるAIの能力が急速に進歩していることを示すもう一つの例となったが、同時に、人間と機械の協働作業における倫理と著作者権に関する疑問を提起した。
