OpenAIがそのエージェントによってナビエ・ストークス方程式の存在性と滑らかさの問題——クレイ数学研究所の7つのミレニアム懸賞問題の1つ——を解決したと発表したことは、論争によって影を落とされています。同社は、自社の内部モデルが最近リリースされたAstraモデルを大幅に上回り、完全な方程式が特定の条件下で破綻することを証明したと主張しています。しかし、NYUの数学者トリスタン・バックマスターとAnthropicの従業員レヴェント・アルペゲの研究成果を適切なクレジットなしに利用したとの告発が浮上しています。バックマスターは月曜日にMastodonで、簡略化されたナビエ・ストークス方程式が破綻することを示す証明を投稿しました。これは、OpenAIとAnthropicの両方から公開されているモデルを用いてほぼ1年間研究を行った成果です。OpenAIの技術スタッフであるセバスチャン・ビュベックは、記者会見で、バックマスターとアルペゲの取り組みに関する噂を聞いた後、チームがこの問題の追求に着手するきっかけになったことを認めました。OpenAIは彼らの研究を直接利用したことを否定し、100万ドルの賞金を請求する予定はないと述べています。この一件は、AI主導の数学的発見をめぐる緊張の高まりを浮き彫りにし、最先端AI企業が支配する未来において人間の数学者がどう位置づけられるかという疑問を投げかけています。

バックマスターは公開文書でOpenAIの従業員とのやり取りを詳細に記し、彼らが2つの選択肢を提示したと主張しています。すなわち、彼とアルペゲが成果を公表し、OpenAIが翌日に自社の解決策を公表するか、あるいはバックマスターがアルペゲをAnthropic所属という理由で除外したOpenAIの論文に協力するか、というものです。またバックマスターは、OpenAIのエージェントが彼とアルペゲの研究記録にアクセスしたかどうかを尋ねたところ否定され、それらの記録でモデルが訓練されたかどうかを尋ねたところ回答が得られなかったと報告しています。MIT Technology Reviewはバックマスターにコメントを求めましたが、公開前に回答は得られませんでした。

この論争は、かつて手の届かないと考えられていた問題を解決するためにAIモデルがますます不可欠になりつつある数学研究の力学の変化を強調しています。もしごく少数の資金力のあるAI企業のみが最も重要な数学的課題の進展を牽引できるなら、それは長らく学術数学を定義してきた協働の規範を根本から変える可能性があります。ナビエ・ストークス問題は、物理学と工学で広く用いられる流体の流れを記述する方程式を含み、特定の条件下での流体の無限大の速度といった現象の理解において重要であるにもかかわらず、これまで未解決のままでした。