ChatGPTを開発したOpenAIは、BBCの報道によると、新たな人工知能（AI）モデルと数千台のAIボットを使って、数十年にわたる高度な数学問題を解決したと発表しました。同社は火曜日に、約10,000台のAIエージェントを使って、非常に難しい数学問題を88時間で解決したと述べました。

ナビエ・ストークス方程式の問題

この問題は、流体の運動を記述するナビエ・ストークス方程式に関係しています。90年間、この問題の重要な部分は証明されていませんでした。OpenAIはこの解決を「マイルストーン」と呼び、AIツールの急速な進化を示すものだと述べました。

独立した検証待ち

OpenAIの解決策は、米国に拠点を置く数学団体であるクレイ数学研究所による独立した検証や公的な承認を受けていません。この研究所は、特定の数学的難問を最初に解決した人に大金を提供する千年問題を運営しています。同社は、8月下旬から新たなモデルのトレーニングを開始し、その能力が数学において非常に優れていることを早くから示したと述べました。AIモデルは、大量のデータを用いてトレーニングされ、情報内のパターンを認識・予測するコンピュータープログラムです。

新たなOpenAIモデルは、同社内でしか使用されておらず、最新のAIモデルよりも「はるかに優れた能力」を持つため、研究チームは特定の重要な数学問題に取り組むことにしました。OpenAIは昨年9月1日に、「千年問題の2つの問題が解決されたという噂を聞いた」と述べ、新たな内部モデルでトレーニングされた数千台のAIボットを活用して、残りの問題解決に取り組んだと説明しました。

9月5日までに、つまり10,000台のAIボットにタスクを割り当ててから約88時間後、OpenAIは「ナビエ・ストークス存在と滑らかさ問題」と呼ばれる問題の解決に成功しました。この問題は乱流の中心に位置し、まだ十分に理解されていない現象です。

AIボットが解決に至るまでにかかった時間はわずかに思われますが、OpenAIによると、ボットはほぼ300万件のメッセージを交換し、ナビエ・ストークス問題に限っても1300億の出力トークンを使用しました。これは、同社の最も進化したモデルの出力価格に基づく約1000万ドル（730万ポンド）に相当します。

議論と並行作業

OpenAIが解決したナビエ・ストークス存在と滑らかさ問題に関する解決策は、千年問題が要求した証明の4つのステートメントのうち2つを解決しました。この賞は100万ドルの価値があります。「この結果を公表する目的は、AIモデルの進捗を報告することです」とOpenAIは火曜日に述べました。「この結果で千年賞を獲得する意図はありません」。

すでに、同社の主張は一部で議論を巻き起こしています。ニューヨーク大学の数学科教授であるトリアン・バッカスター氏は火曜日に、OpenAIのライバルであるAnthropicに所属する数学者のレベン・アルポーグ氏と共に、この問題の解決に取り組んでいたと述べました。二人は、OpenAIのツールであるCodexを活用していました。しかし、バッカスター氏は9月3日に「私たちの進捗に関する情報がOpenAIに伝わった」と知ったと述べました。

バッカスター氏の声明は同じ日に出されたものの、OpenAIがナビエ・ストークスの研究成果を公表したのは数時間前でした。彼は、OpenAIが「私たちの作業に関する情報がOpenAIに届いた後でなければ」ナビエ・ストークス方程式に取り組んでいないと主張し、OpenAIとのメール交換の内容や、同社のタイミングや方法に関する質問を示しました。

バッカスター氏は、OpenAIの証明全文をまだ読んでいないとしながらも、「私がいつ何を聞かされたのか、そして何が提案されたのかを公にしなければならない」と述べました。「そうでなければ、私が知っていることと矛盾した発表の連鎖を黙って見過ごすことになるからです」。OpenAIは火曜日、バッカスター氏とアルポーグ氏の「並行作業」を称賛し、「驚くべきもの」と呼びました。同社は、「彼らの作業を公開するまでは、その内容を一切見ていない」と述べるとともに、ナビエ・ストークス問題の解決においてはユーザーのデータを一切使っていないと述べました。

「可能性は低いが、彼らのOpenAI製品利用から得られた匿名化されたデータがモデルの改善に役立った可能性は否定できない」と同社は付け加えました。「しかし、我々の証明は彼らのものと大きく異なり、証明された結果も正確には異なる」。

火曜日の記者会見で、OpenAIの研究者セバスチャン・ブベック氏は、同社が二人の作業やサーバーに保存された資料を使ったことはないと否定しました。OpenAIの突破的な成果に関する発表では、2つの千年問題が解決されたという噂を聞いたことがきっかけで取り組みを開始したと説明しました。また、二人の製品利用データが「モデルの改善に役立った可能性」を否定できなかったとも述べました。

OpenAIは、最新のGPT-6 Astraモデルよりも強力な内部システムを使ってナビエ・ストークス問題に取り組み、約10,000台のAIエージェントが同時に作業し、88時間で解決に至ったと説明しました。「我々の研究の主要な目的は、すべての人間のためになる科学と技術の進展を後押しすることです」とOpenAIの研究者らはブログで述べました。「AIの進化のスピードと今後登場するモデルについて世界に知らせることが重要だと信じています」。

この突破は、巨大なコンピューティングパワーを消費する高度な人工知能モデルが、数学の分野に進出し、そのあり方を変えていく可能性を示すものです。5月には、OpenAIは80年前に提唱された別の数学問題の進展を主張し、Google DeepMindも自社のモデルを使って数学的成果を達成したと主張しています。