OpenAIは、その人工知能モデルが数学、コンピュータ科学、物理学の分野で三つの重要な科学的発見を達成したと発表しました。これらには、調和解析におけるKakeya予想の証明、計算複雑性理論における指数時間仮説（ETH）の反証、および四次元量子場理論（QCDおよび標準モデルを含む）の存在に関する厳密な証明が含まれます。文章作者、出典：AIBase
最近、OpenAIは公式に、その人工知能モデルが調和解析、計算複雑性理論、および量子場理論の分野で3つの重要な科学的発見を達成したと発表しました。これらの最先端の原始研究データを真の科学的理解へと変換するため、OpenAIは外部学術コミュニティとの深度な協力という新しいモデルを採用し、各分野の成果に対して多様な公開戦略を策定しました。
調和解析の分野において、モデルは各次元における局所的滑らかさ（local smoothing）予想の証明を成功させ、これによりすべての次元で数学界のKakeya予想とStein制限予想を直接解決した。新しい証明は、革新的な補助偏微分方程式に基づいている。OpenAIは、モデルが生成したAI自然言語出力レポートとLean証明を公開されたGitHubリポジトリで公開した。
コンピュータサイエンスの分野において、システムは長年真とされてきた指数時間仮説（ETH）が偽であることを証明した。この予想は有名なP対NP問題と密接に関連しており、これまで数百の論文で条件付き計算的硬度の導出に広く使用されてきた。この結果はLeanにおいても検証されている。本研究は、Russell Impagliazzo、Ramamohan Paturi、Ryan Williamsが率いるトップエキスパートチームによる検証と指導を受け、関連する成果とLean形式化証明はGitHubリポジトリで公開された。
物理学の分野において、モデルは、規範場とフェルミオンを含む四次元の特定の相互作用量子場理論（量子色力学QCDや素粒子物理学の標準模型の統一的完全化を含む）の数学的に厳密な存在証明を提供しており、その副問題として純粋なYang–Mills理論の存在証明も含まれており、これはクレイ数学研究所のミレニアム賞問題の一部である。この複雑な作業は、デイビッド・グロスが率いる物理学者チーム（マイケル・ダグラス、アーサー・ジャッフェ、イーゴリ・クレバノフ、ニキタ・ネクラソフを含む）によって共同で推進された。
OpenAIは、これらの画期的な成果に対する学術界の独立した検証と深層的な議論を包括的に支援するため、以前にSimons財団に500万ドルを寄付し、関連するワークショップ、会議、特別プロジェクトを支援しました。この一連の取り組みは、AIが基礎科学の最前線研究において持つ巨大な可能性を示すとともに、現代理論物理学と数学がより厳密な分野へと加速して進んでいることを示しています。