米OpenAIは9月8日（現地時間）、社内の未公開モデルがミレニアム懸賞問題の一つである「ナビエ・ストークス方程式の存在と滑らかさ」の解決を示す証明を生成したと発表しました。この証明は、滑らかな状態から始まった3次元の非圧縮性流体が、有限時間内に速度が無限大に発散する「特異点」を生じ得ることを示しています。OpenAIは、証明の解説とともに、証明支援系「Lean」を用いた形式化の内容も公開しました。

OpenAIの発表によると、証明を生成したのはGPT-6 Astraより高性能な社内モデルであり、約1万個のエージェントを並行して動かす手法が用いられました。この取り組みは、9月1日に同問題の解決に関する噂を耳にしたことをきっかけに開始され、約88時間の計算を経て9月5日に結論に到達したとしています。なお、同社はミレニアム懸賞の賞金請求は行わないとしています。

一方、この発表に先立ち、ニューヨーク大学の数学者トリスタン・バックマスター氏は、OpenAIの取り組みの経緯に問題があるとする声明を公開しました。バックマスター氏は、OpenAIが自身の研究成果を知った直後に、同様の手法を用いて計算資源を投入していたと指摘しています。OpenAIの数学研究責任者セバスチャン・ブベック氏は、これに対し「事実に反し、扇動的だ」と反論しており、成果の妥当性と発表の経緯を巡って論争が起きています。

出典: