OpenAI、AIが数学、コンピュータサイエンス、物理学の三大科学的課題を解決したと主張

OpenAIは、そのAIシステムが数学、コンピュータサイエンス、物理学における三大未解決問題に対応する証明を生成したと発表しました。OpenAIは、結果の評価のために外部の専門家を関与させています。独立した研究者たちは、これらの証明が有効であるかどうかを確認し、各分野における発見の意義を判断する必要があります。

OpenAIは、そのモデルが、波の伝播と集中に関する数十年にわたる数学的課題である局所的滑らかさ予想を証明したと述べた。この予想は、時間にわたって波を平均化することで、その強度が最も極端な瞬間よりも低減されることを予測している。この結果は、長年未解決だったKakeya予想とSteinの制限予想も同時に解決するものとなる。Kakeya予想は、あらゆる方向に向きを向ける線分を含む形状の最小サイズに関するものであり、Steinの制限予想は、曲面に沿った関数の数学的周波数の挙動に関するものである。OpenAIは、この結果が10月18日にモデルによって生成されたと述べた。翌日、OpenAIは証明の検証用言語であるLeanを用いてこの結果を形式化したと述べた。OpenAIは、自然言語による説明と形式的な証明がGitHub上で公開されたと述べた。

OpenAIは、そのコンピュータサイエンスシステムが指数時間仮説の反証を生成したと発表しました。この仮説は、充足可能性問題および計算複雑性理論に関連する問いに対する条件付き計算的困難性の結果を裏付けています。OpenAIは、この自然言語による反証が10月16日に生成されたと述べました。また、反証は10月17日にLeanを用いて形式化されたと発表しました。ラッセル・インパグリアッツォ、ラマモハン・パトリ、ライアン・ウィリアムズが率いるチームが、この結果を検証中です。OpenAIは、この結果の可能性のある影響を検討する会議の開催に資金を提供すると約束しました。

デヴィッド・グロスが率いる外部の物理学グループが、OpenAIが4次元における相互作用する量子場理論の厳密な存在証明であると説明する結果を評価する。この主張される証明は、量子色力学（QCD）と標準模型の統一理論拡張をカバーしている。マイケル・ダグラス、アーサー・ジャッフェ、イーゴリ・クレバノフ、ニキタ・ネクラソフもこの評価に参加している。数学およびコンピュータサイエンスのプロジェクトとは異なり、物理学グループは現在、AIが生成した資料を公に公開しないことを選択している。グループのメンバーは、自らの作業についての独自の説明を執筆することに集中する。

OpenAIは、AIが生成した研究を科学コミュニティと共有するための3つの方法をテストしていると発表しました。これらの方法には、即時公開、外部コラボレーターとの共同公開、または外部チームに公開時期の管理を委ねるという方法が含まれます。OpenAIは、どのアプローチが研究者にとって最適かを判断するため、フィードバックを募集しています。このコラボレーションでは、非開示契約や発見そのものに対する学術的貢献の主張は禁止されています。ただし、説明や補助資料を作成した研究者は評価されます。参加は任意かつ無報酬であり、コラボレーターは自身の個人的な見解のみを代表します。

独立した検証によって結果が確認された場合、特に指数時間仮説の反証という主張は大きな影響を及ぼす可能性がある。この仮説は現代の計算複雑性理論の多くの部分を支えている。また、この取り組みは、AIが生成した可能性のある重要な発見を、科学者にとって透明性があり、再現可能で信頼できる形で公開することに関する疑問を提起している。