ナビエ-ストークスの証明論争 OpenAIとライバルの数学者たちのクレジットに関する論争

OpenAIは、その内部AIモデルがナビエ-ストークスミレニアム賞問題を解決し、方程式が爆発し無限の速度に達することを証明したと述べました。この問題は、クレイ数学研究所によって指定された7つのミレニアム賞問題の1つであり、100万ドルの賞金が授与されます。OpenAIは、この結果に約88時間の計算と約10,000のAIエージェントの協力が必要だったと示しました。競合する数学者トリスタン・バックマスターとレヴェント・アルポゲは、同様の爆発解法に1年近くAIとともに取り組み、8月22日までに解に達したと報告しました。

OpenAIは、内部AIモデルがナビエ-ストークスミレニアム賞問題に関する形式的な証明を生成し、方程式が爆発し無限の速度に達することを示したと述べました。同社は、モデルが強制されたナビエ-ストークスケースのために約100ページの証明を生成し、その資料をその設定内での爆発を確立する完全な正式な議論として提示しました。OpenAIは、ナビエ-ストークス問題が7つのミレニアム賞問題の1つであり、クレイ数学研究所から100万ドルの賞金がかかっていることを指摘しました。

OpenAIは、計算の実行が約88時間続き、約10,000の協力するAIエージェントが協調したキャンペーンで議論を検索して構築するために働いたと述べました。同社は、それらのエージェントが計算の異なる部分を処理するために組織されたと述べました。OpenAIは、生成された議論が形式的な検証のためにLean証明アシスタントを使用して段階的にチェックされたと述べました。

トリスタン・バックマスターとレベント・アルポゲは、ナビエ–ストークス方程式における流体ブローアップを証明するための証明を追求するために、AIモデルを使ってほぼ1年を費やしました。彼らの研究は、8月22日までに到達した解決策だと彼らが述べるものに culminatedしました。バックマスターは、9月3日にOpenAIの数学者にこのプロジェクトについて伝えたと述べています。その通知は、アンソロピックが関連する重要な問題を解決したという噂が流れる中で行われ、タイミングに対する関心を高める要因となりました。

彼らの説明は、AI支援研究の年代記と、その後のOpenAIの数学者との連絡についてのものです。バックマスターとアルポゲは、その日付と相互作用を優先権の主張の中心として提示しています。この順序は、この問題についての報告で説明されている著作権とクレジットに関する争いの基礎となっています。

OpenAIはトリスタン・バックマスターに2つの出版オプションを提供したと、バックマスターは述べています：彼のチームの翌日に出版するか、レベント・アルポゲを省いてバックマスターのみで出版を許可するかです。バックマスターは、レベント・アルポゲにクレジットが付与されたまま彼の論文を発表しましたが、OpenAIはどちらの研究者にもクレジットを付与しませんでした。このオファーと出版選択の順序は、バックマスターが著作権の争いの中心として説明しています。

OpenAIとサム・アルトマンは、バックマスターのその相互作用に関する特徴付けを否定しています。セバスチャン・ビュベックは、その後、アルポゲとの共同リリースを提案するテキストを投稿し、OpenAIにプロンプトを提供しました。ビュベックは、「私は決してレベントが自分の作品の著者から外されることを要求したことはありません」と述べました。バックマスターは、「なぜ自分のキャリアを台無しにするのか？」という質問や、「私たちが最善の意図を持ってやってきたことがメッセージから明らかであることを願っています」という発言を通じて、著作権の剥奪に懸念を表明しました。

出版オプション、著者権、そしてクレジットに関するやり取りが、論争の核心を成しています。関係者は、これらの出来事について否定や公のメッセージを発表しました。

ナビエ-ストークスの証明に関する論争は続いており、誰が名声を得るべきかという競合する主張や著者決定、出版の選択についての意見の相違を中心に展開しています。関係者は異なる説明や否定を発表しており、クレジットと著者権に関する意見の相違がこの論争の主要な解決されていない要素として続いています。