HeadlinesBriefing favicon HeadlinesBriefing.com

NYU数学者がOpenAI-AnthropicのNavier-Stokes証明争奪戦に巻き込まれる

New York Times Top Stories •
×

Labor Dayの週末、NYU数学者Tristan Buckmasterは、Clay数学研究所のミレニアム問題の一つであるNavier-Stokes方程式の進展について、OpenAIとAnthropicの争いの最中にいました。100万ドルの賞金が提供されています。BuckmasterとAnthropicの数学者Levent Alpögeは8月に大きな進展を遂げました。しかし、OpenAIは火曜にAIエージェントを使用して証明を完了し、人間の数学者を打ち負かしたと発表しました。

オンラインで火種が飛び交い、OpenAIのシステムがBuckmasterの最近の仕事を取り入れたのではないかという意見が出ました。OpenAIは、過去2ヶ月間のBuckmasterの仕事にAIが影響を受けたのは「 categorically 」不可能だと述べました。Buckmasterは、賞金よりも数学への貢献の方が重要だと述べ、自分を「AI企業間のくだらないゲーム」の傍観者と呼んだ。

OpenAIのSébastien Bubeckは、Buckmasterに論文の優先掲載権、OpenAI論文の第一著者、計算リソース、賞金のサポートを提供しました。ポイントはAlpögeのAnthropicとの所属です。Buckmasterは企業間の協力を提案しましたが、OpenAIはAlpögeの含め拒否しました。この出来事は、競争的なAIスタートアップ間の distrust と、AIツールにますます依存する数学者たちの協調文化を浮き彫りにしています。