OpenAIは、約1万体のAIエージェントの群れを使って、悪名高い数学の問題をわずか88時間で解いたと発表した。流体の動きに関するナビエ・ストークス方程式の一部であるこの問題は、過去90年間、重要な側面の証明が欠けていた。しかし、十分なボットと莫大な電気代があれば、どうやら何でも可能らしい。

火曜日、ChatGPTメーカーは、AIボットのグループをナビエ・ストークスの存在と滑らかさの問題に集中させたことを明らかにした。これは、クレイ数学研究所のミレニアム賞問題の一つで、最初に解いた人には100万ドルの賞金が与えられるほど頑固な難問だ。同社はこの解決を「マイルストーン」であり、AIツールが急速に向上している証拠と呼んだが、注目すべきは、まだ独立に検証されておらず、研究所にも受け入れられていないことだ。

タイムラインはこうだ。8月末、OpenAIは数学に才能を示す新しい内部モデルのトレーニングを開始した。先週の9月1日、同社は2つのミレニアム賞問題が解決されたという噂を聞き、残りの問題に数千のAIボットを投入した。9月5日までに、約88時間後、乱流の中心にあり、人間にはまだよく理解されていない現象であるナビエ・ストークス問題の解決策を得た。ボットたちは約300万件のメッセージを交換し、ナビエ・ストークスだけで1300億の出力トークン（AIモデルが生成するテキストとコードの行）を消費した。OpenAI自身の価格設定では、その努力には約1000万ドル（730万ポンド）かかっただろう。

この解決策は、ミレニアム賞が要求する証明の4つのステートメントのうち2つを解決したと報じられている。しかし、OpenAIは賞を主張していない。「この結果を公開する目的は、当社のAIモデルの大幅な進歩を報告することです」と同社は述べた。「この結果についてミレニアム賞を主張するつもりはありません」。これは好都合だ。賞金は100万ドルだが、彼らはすでに計算に1000万ドルを費やしているからだ。

当然、論争が巻き起こった。ニューヨーク大学の数学教授トリスタン・バックマスターは、自身と、OpenAIのライバルであるAnthropicの数学者レベント・アルポーゲも、OpenAIのCodexツールを使って同じ問題に取り組んでいたと主張している。バックマスターは、9月3日に「自分たちの進捗に関する情報がOpenAIに渡された」ことを知ったと言う。彼はOpenAIと交換した電子メールを公開し、同社がバックマスターとアルポーゲの進捗を知った後にナビエ・ストークスの研究を始めたと主張した。「一連の発表が、私が偽りだと知っていることを言うのを許すよりはましだ」と彼は語った。

OpenAIは、バックマスターとアルポーゲの「同時進行の研究」を祝福し、「注目に値する」と応じた。同社は、彼らの研究が公に公開されるまで見たことはなく、ユーザーデータにアクセスしたこともないと主張している。しかし、スパイ小説にふさわしい細かい字で、OpenAIはこう付け加えた。「可能性は低いが、当社製品の使用から得られた非識別化データが当社モデルの改善に役立った可能性を排除できない」。言い換えれば、あなたのAIの宿題は採点されるだけでなく、あなたがクレジットを得ることなく、世界で最も難しい数学の問題を解くために使われるかもしれないのだ。