数学者とLLMが1ヶ月で達成：オイラー方程式の爆発解、OpenAIとの確執も告白
Navier-Stokes – Tristan Buckmaster [pdf]
数学者のTristan Buckmaster氏とLevent Alpöge氏が、LLMの支援を受けて非圧縮オイラー方程式などの有限時間爆発を証明。しかし、OpenAIが同様の結果を先に発表しようとしたと主張し、圧力や著者からの除外提案があったと告発している。
これはディープブルー対カスパロフの瞬間だ。
HNでの議論
810- n2d4
ドラマ/非難のまとめ：
- 8月15日：Tristan BuckmasterとLevent Alpögeが、いくつかの重要な数学の問題（「非圧縮性多孔質媒体、Boussinesq、3次元非圧縮性Eulerに対する滑らかな外力による有限時間爆発」）で進展を遂げる。
- 彼らは100万ドルのミレニアム賞問題の証明は持っていない。しかし、類似の（ミレニアムではない）Navier-Stokes問題の証明を主張しており、それが道を開く可能性がある。
- LeventはAnthropicで働いているが、この研究は彼の仕事とは独立しており、GPTとClaudeのモデルを混在して使用した。TristanはAnthropicとは関係ない。
- 9月初旬：OpenAIに「Anthropicが主要な問題を解いた」という噂が広がる。TristanはOpenAIにメールで誤解を解こうとするが、自分たちが解いた問題や方法は明かさない。
- 噂を聞いた後、OpenAIは新しい内部モデルでNavier-Stokesの研究を開始。
- 9月6日：OpenAIのSebastien BubeckがTristanに、100万ドルのミレニアム賞問題であるNavier-Stokesを解いたと伝える。アプローチはTristanとLeventがミレニアムではない問題に使ったものと非常に似ている。
- Tristanはタイミングを疑う。というのも、このアプローチを試していたのは他にほとんどいなかったからだ。OpenAIはモデルが彼のユーザーデータに直接アクセスしていないと言うが、Tristanのチャット会話がトレーニングに含まれていたかどうかは答えをはぐらかす。
- OpenAIは、100万ドルの発見に対してTristanに部分的な功績を与えると言う（Tristanが100万ドルの問題を解いていないにもかかわらず）。ただし、Leventを著者から外す場合に限る。彼はそこで働いているため…
- qnleigh
> また、OpenAIが我々の後に投稿するなら、我々がClay賞に値すると言い、我々が「問題に最も近い人間」だと言うだろうとも言われた。私は両方の申し出を断った。OpenAIが提案された方法で結果を公開するなら、私は何が起こったかを公にすると言った。返答は「なぜ自分のキャリアを台無しにするのか？」だった。私は学者だと答え、なぜ公にすることが自分のキャリアを台無しにすると思うのかと尋ねた。返答は「私に優しくされたくなければ、優しくする必要はない」だった。
これに対して何と言えばいいのか分からないが、もしこれが実際に起こったことなら、広く知られるべきだと思う。
- mayakacz
普段あまりコメントしないが、これは本当に腹が立つ。
OpenAIはユーザーデータを調べ、世界クラスの研究者の研究を盗み、そしてその研究者たちを脅して自分たちの企業が利益を得るようにさせようとした（彼らはどうせ利益を得るのに！）。
想像してみてほしい。あなたが非常に難しい数学の問題に10年間取り組んできたとする。これは何年も費やした結果であり、おそらくあなたが記憶されるであろうものだ。そしてOpenAIの小僧があなたに嘘をつき、脅し、「あなたがそれに値する」と公式に認める用意があると言う？これは何だ、ゴッドファーザーか？
もしOpenAIがNavier-Stokesを解いたのなら、それは驚くべき結果だ！それでも彼らは、功績が結果よりも重要だと考えた者たちとして記憶されるだろう。勝利が協力よりも重要だと考えた者たちとして。もしこれが本当なら、彼らは学界との残りの信頼をすべて燃やしている。
- traes
告発されたSebastian BubeckはTwitterで疑惑を否定しており[0]、他のOpenAI従業員数人[1,2]は、Leventを支持する別のAnthropic従業員を嘲笑しているように見える[3]？事態は混乱してきている。
[0] https://xcancel.com/SebastienBubeck/status/20972141224714323...
[1] https://xcancel.com/polynoamial/status/2097215233119211902
[2] https://xcancel.com/danintheory/status/2097214838003138603
[3] https://xcancel.com/_sholtodouglas/status/209721833169057800...
- MetroWind
Bubeckの声明 https://xcancel.com/SebastienBubeck/status/20973794116915163...
- Semkas
さて、OAが研究者のCodexセッションのデータを使用した可能性はさておき：私の理解は正しいだろうか？内部のOpenAIの研究は、AlpogeとBuckmasterが自分たちのモデルを使って進展を遂げたと聞いた後に開始された可能性が高く、そして彼らは研究者の過去の仕事に関する公開情報を使ってモデルにプロンプトを与えたのか？
もし計算コストが安く、科学発見の難しい部分が今や主にエージェントを有望な領域に導くことにあるなら、OAの数学者たちが、どの研究者がエキサイティングな結果を発表しそうかを注意深く監視し、彼らの過去の仕事に基づいてプロンプトを推測し、自分たちの（より強力な）モデルに同じ領域を調べるよう迅速にプロンプトする明白なインセンティブがある。
- 20k
>私は、モデルが私たちのセッションでトレーニングされたか、アクセスできたかを尋ねた。私たちはこのプロジェクト全体の草稿をすべてCodexに入れていた。モデルはユーザーデータを調べていないと言われた。トレーニングについてもう一度尋ねたが、答えは得られなかった。
これらの企業があなたのプロンプトでトレーニングしていないと思うなら、あなたは信じられないほど純粋だ。これらのモデルは、合法性に関係なく、文字通り手に入るものすべてを盗んで海賊版にすることで構築された。AI企業は、自分たちがやっていないことについて常に非常に具体的に述べる。抜け穴をトラックが通れるほどに。
- taylorfinley
OpenAIがすぐに、内部モデルが内部統制を侵害してユーザーのプライベートなチャット履歴にアクセスし、不可能な問題を解くための創造的なカンニング方法として利用したことを開示する可能性が非常に高い。
「おっと！私たちは本当にあなたのデータでトレーニングしないと言ったつもりだった。私たちのモデルがとても優れているので、とにかくそうすることにしただけだ。」
- Recursing
> これはディープ・ブルー対カスパロフの瞬間だ。
これは複数の意味で真実だと思う。カスパロフは試合中、IBMが彼の準備をスパイしてカンニングしたと有名に非難した（編集：ただし、主なカンニング疑惑は試合中の生身の人間による介入であり、IBMがAIの背後にある人間の関与の大きさを軽視していたことも、この状況を反映している）。
- tristanj
完全なMastodonの投稿： https://mathstodon.xyz/@[email protected]/11...
Terrance Taoによる数学的説明： https://mathstodon.xyz/@tao/117233527638291447
この背後には多くの背景ドラマがあるようで、以下が私がまとめた出来事だ：
過去1年間、BuckmasterとAlpögeはAIを使って流体力学の数学的問題に取り組んできた。AlpögeはAnthropicで働いており、将来の問題を引き起こすだろう。
8月中旬、彼らはNavier-Stokes問題のより単純なバージョンの反例を見つけた。彼らは次の数週間を論文の準備に費やす。
9月初旬、Xで「Anthropicがミレニアム賞問題（Navier-Stokes）を解いた」という噂が広まり始める。BuckmasterはOpenAIに連絡し、これは自分たちの個人的な研究であり、Anthropicのプロジェクトではないと説明する。
数日後、OpenAIが彼に返答し、内部モデルがNavier-Stokesの反例を見つけ、100万ドルのミレニアム賞に値する可能性があると伝える。証明はBuckmasterとAlpögeが選んだ方法と同じ方法を使っている。彼らは彼に証明を見せない。
Buckmasterは詳細を求めて詰め寄る。OpenAIは、チーム全体がこの問題に取り組んでおり、噂の後のここ数日で作業を開始したことを明かす。
Buckmasterは、OpenAIが共同発表のスケジュールについて話したと言う。彼らはBuckmasterが先に発表し、その後Buckmasterにミレニアム賞の共同功績を与えたいと考えている。