OpenAIの「人間の入力は非常に少ない」という主張が、数学者の電話通話中に崩れた

OpenAIは、内部モデルが数学で最も難しい問題の1つを解いたと述べている。 NYUの数学者トリスタン・バクマスターは、その出来事の経緯について彼に語られた話が、会社との電話通話中に崩れ去ったと語っている。

バクマスターはマルティネス＝ソロアにフィールズ賞を授与すべきだと述べている

OpenAIは火曜日、内部モデルの1つが、100万ドルの報酬がかけられた7つのミレニアム懸賞問題の1つである強制ナビエ-ストークス方程式の有限時間「ブローアップ」を示したと発表した。

ブローアップとは、方程式が流体の速度を一点で無限大にすることを許容し、これは物理学では許可されないことを意味する。

同社は、この議論がLeanという証明検証言語でチェックされ、数学的証明を形式的に確認するために使用されていると述べている。

これが裏付けば、史上2番目のミレニアム問題の解決となり、AI企業に帰属する最初の事例となる。

数日前、Anthropicで数学者として働くバクマスターとレヴェンツ・アルポゲは、彼らの結果を発表しました。それは、Leanで形式化された、滑らかな強制条件下での3次元非圧縮性オイラー方程式、ブソネスク方程式、および非圧縮性多孔質媒体における有限時間でのブローアップです。「驚くべき成果です」とフィールズ賞受賞者のテレンス・タオは述べています。

この部分の話は争われていない。バクマスター自身は、アイデアの源泉について非常に明確な声明を出している。

彼が書いた攻撃のラインは、ディエゴ・コルドバとルイス・マルティネス＝ソロアに由来しており、彼らは粗い強制を用いて強制ブローアップを構築するために数年を費やした。

彼とアルポゲは、大規模言語モデルを使用して、そのプログラムを滑らかな強制とオイラーへと押し進めた。バクマスターはさらに、マルティネス＝ソロアにフィールズ賞を授与すべきだと考えていると述べた。

ブベックはかつて、「なぜキャリアを台無しにするのか？」と尋ねた。

OpenAIの発表は、バクマスターのアカウントが、Anthropicが主要な未解決問題を解決したという噂が流れたことから始まった駆け引きを説明した翌日に行われました。

彼は9月3日木曜日、混乱を避けるためにOpenAIの数学者にメールを送り、アルポゲとの共同研究は個人的なものであり、AnthropicやNYUの支援を受けていないことを強調した。彼は回答を読み、それは温かく、OpenAIのコンピューティングリソースを提供するものであった。

電話は9月6日日曜日にあった。バクマスターによると、セバスティアン・ブベックが参加し、両者はその午後に数回の会話を交わしたが、アルポゲは通話に参加していなかった。

彼は、OpenAIの内部モデルが、チャールズ・フェーファーマンの問題の形式的記述における「オプションcとd」に沿って滑らかな強制を用い、強制ナビエ-ストークスブローアップの約100ページの証明を生み出したと聞かされた。

バクマスターが書いたように、これは彼とアルポゲが秘密裏に選択した非常に限られた方法であり、ほとんど他の誰も追従していない方法であった。彼は「強制」という言葉に大きな赤旗が立ったと語った。

OpenAIの結果には「人間の入力は非常に少ない」と、ブベックはアルポゲに伝えた、とバクマスターは述べている。

バクマスターは書き、「全体として、問題に取り組むチーム全体が存在し、これが試された複数のことの1つであり、強制されていない問題について作業が始まり、チームはまずオイラーを含むより簡単な問題でモデルを設定し、私に見せられたプロンプトでさえCodexのプロンプトによって書かれており、膨大な量のコンピューティングリソースが使用されていたことが明らかになった」と述べた。

彼は、最初のプロンプトがいつ送信されたかを尋ねたとき、答えは遅れて届き、最終的に彼とアルポゲのニュースがOpenAIに届いた後にそれを配置したと語った。

バクマスターによると、彼とアルポゲはOpenAI Codexセッション内で草案の証明を保管しており、OpenAIのモデルがそのデータでトレーニングされた可能性があるかどうかを尋ねたとき、彼は答えを得られなかった。

彼は明らかに、それが実際に起きたと主張しているわけではないと述べている。彼は単に、その質問に答えがなかったと述べているだけである。

また、彼はブベックがAnthropicとのつながりを理由にアルポゲを著者から外すよう2回圧力をかけ、「なぜキャリアを台無しにするのか？」と1回尋ねたと主張している。

OpenAIはこれらの告発を否定した。ブベックはXでの短い投稿で、これらの主張を「誤りで煽情的だ」と呼び、「学問的な規範に従って」議論に参加したと述べ、より完全な回答を約束した。

火曜日のブリーフィングで、ブベックはモデルが数学者とは異なる方法でオイラー問題に到達したが、完全なナビエ-ストークスの証明は類似した経路をたどったと述べた。

バクマスターが彼の結果のニュースがOpenAIに届いた時点以降に、証明は週末に構築されたと彼は語った。

「私たちは彼らのプロンプトや証明を使用してモデルをプロンプトしなかった」と彼は述べた。

両側はコルドバのアプローチに基づいており、コルドバはペアが「少しショックを受けている」と述べ、完成した証明は「私たちにとって大きな驚きになるだろう」と語った。シカゴ大学の数学者ルイス・シルヴェストレは、この分野全体で絶え間ない議論の日々だと評した。