OpenAI、AI生成の科学的発見に関する新たな学術連携戦略を詳述

OpenAIは、数学、コンピュータサイエンス、物理学における3つの主要な発見とともに、外部の専門家との協力を通じて生のAI研究データを構造化された科学的理解に変換するための新しい協力的な公開戦略を発表しました。

AI研究連携戦略

OpenAIは、AIが生成した原稿を生の研究データと見なし、科学的理解を促進するための新しいアプローチを実験しています。この戦略には、結果の説明と文脈化を支援するグループを組織する「シェパード」として機能する外部専門家を募集することが含まれます。選択される公開戦略は、発見の性質によって異なります。

数学: AIの出力は公開され、研究者は結果を説明するための独自の取り組みを自由に組織できます。
コンピュータサイエンス: 結果を説明するための外部の共同研究者グループが形成され、AIの出力は検証のために公開されたままになります。
物理学: 外部の共同研究者グループが形成され、OpenAIは資料の公開に関して彼らに委ねます。

すべての外部連携は、以下の4つの基本原則に従います。

透明性: OpenAIはこれらの連携の存在について透明であり、参加者は秘密保持契約に署名する必要はありません。
学術的クレジットなし: OpenAIは、内部モデルによる発見に対して学術的クレジットを求めず、連携への関与は外部グループが元の発見を行ったことを意味するものではありません。
認識: 外部グループは、彼らが開発した理解、執筆したレポート、作成した資料に対して認識を受けます。
独立性: 参加は任意であり無報酬です。グループメンバーは独立して行動し、OpenAIを代表して発言することはありません。

数学: 局所平滑化予想と掛谷予想

AIモデルは、すべての次元における局所平滑化予想の証明を生成し、これにより掛谷予想とスタインの制限予想が解決されました。

発見: 1991年にSoggeによって提案された局所平滑化予想は、波が焦点を結ぶときの挙動に関するもので、最も極端な焦点は短命でなければならないと述べています。AIの新しい証明は、新しい補助偏微分方程式に基づいています。
背景: 局所平滑化予想は数学的解析の基礎であり、掛谷予想（2025年にWangとZahlによって3次元で証明された）やスタインの制限予想の解決を含む広範な影響を持ちます。
公開戦略: 専門家の推奨に従い、OpenAIはAIの自然言語出力レポートとLean証明の両方を公開GitHubリポジトリに公開し、学界が結果を説明するための独自の取り組みを開始できるようにしました。

コンピュータサイエンス: 指数時間仮説（ETH）の反証

OpenAIのシステムは、指数時間仮説（ETH）が偽であることを証明し、この結果はその後Leanで検証されました。

発見: ETHは、P対NP問題に密接に関連するブール式の充足可能性の計算複雑性に関する長年の予想です。ETHの反証は、現在指数時間を必要とすると考えられているタスクが、はるかに高速に解決できる可能性を示唆しています。
背景: ETHは、グラフ理論、計算生物学、計算幾何学などの分野で、条件付き計算困難性を導出するために何百もの論文で使用されてきました。
連携: この研究は、Russell Impagliazzo、Ramamohan Paturi、Ryan Williamsが率いるグループによってシェパードされています。独立した検証を容易にするため、OpenAIはすべての生データを公開し、この研究の影響を議論する会議に資金を提供することを約束しました。

物理学: 場の量子論と標準模型

OpenAIのモデルは、量子色力学（QCD）や素粒子物理学の標準模型の統一的完成を含む、特定の相互作用する場の量子論に対する数学的に厳密な存在証明を生成しました。

発見: この研究は、標準模型のゲージ場とフェルミオンを組み込んだ最も単純な大統一理論の存在証明を提供します。部分問題として、ミレニアム懸賞問題である純粋ヤン・ミルズ理論の存在証明が含まれています。
背景: 標準模型は、重力を除く3つの基本力を記述します。QCDは、クォークとグルーオンを含む強い力の相互作用を記述します。この研究は、構成的場の量子論におけるBalabanのアプローチに基づいています。
連携: 外部グループは、この分野に多大な貢献をしたDavid Grossが率いています。研究の複雑さと長さを考慮し、OpenAIはLean形式化が完了するまで資料の公開を延期し、最終的な公開を連携グループに委ねました。

科学的進歩へのコミットメント

OpenAIは、これらの結果を理解し、さらに発展させるためのより広い学術コミュニティを支援することにコミットしています。このコミットメントは、研究者がAIが生成した科学的結果をナビゲートし活用するためのワークショップ、会議、特別プログラムに資金を提供するサイモンズ財団への500万ドルの寄付によって支えられています。OpenAIは、AIの結果を開示する最良の方法と、発見を加速するために科学コミュニティと関わる方法についてのフィードバックを引き続き募集しています。