このほど、OpenAIはAIモデルが数学、コンピュータ科学、物理学の分野で3つの重大な科学的発見を成し遂げたと正式に発表した。それぞれ調和解析、計算複雑性理論、および場の量子論に関わるものである。これらの最先端の研究生データを真の科学的理解へと転換するため、OpenAIは外部の学術コミュニティと深く協力するという新たなモデルを革新的に試み、分野ごとに異なる成果に対して多様な公開戦略を策定した。
調和解析の分野において、モデルは各次元における局所滑らか化（local smoothing）予想の証明を導出することに成功し、これによりすべての次元において数学界のKakeya予想とStein制限予想を直接的に解決した。新しい証明は独創的な補助偏微分方程式に基づいている。OpenAIはすでに公開されているGitHubリポジトリで、モデルが生成したAI自然言語出力レポートおよびLean証明を公開している。
コンピュータ科学の分野では、システムは長年真とみなされてきた指数時間仮説（ETH）が偽であることを証明した。この予想は有名なP vs. NP問題と密接に関連しており、これまで数百本の論文において条件的計算困難性の導出に広く用いられてきた。この結果もまたLeanで検証された。この研究は、Russell Impagliazzo、Ramamohan Paturi、Ryan Williamsが率いる第一級の専門家チームによって検証・指導が行われており、関連する成果とLean形式化証明はGitHubリポジトリで公開されている。
物理学の分野では、モデルが4次元におけるゲージ場とフェルミオンを含む特定の相互作用場の量子論（量子色力学QCDおよび素粒子物理学の標準模型の統一的完備化を含む）について、数学的に厳密な存在証明を提供した。その中には部分問題として純粋なYang–Mills理論の存在証明も含まれ、これはClay数学研究所のミレニアム懸賞問題の一部でもある。この複雑な研究は、David Grossが率いる物理学者グループ（Michael Douglas、Arthur Jaffe、Igor Klebanov、Nikita Nekrasovを含む）によって共同で推進されており、関連する連絡は指定のメールアドレスYANGMILLS4D@gmail.comまで送ることができる。
学術界がこれらの画期的な成果を独自に審査し深く議論することを全面的に支援するため、OpenAIはすでにSimons財団に500万米ドルの寄付を行い、関連するセミナー、会議、特別プロジェクトの資金援助に充てている。この一連の取り組みは、基礎科学の最先端研究におけるAIの多大な可能性を示すとともに、現代理論物理学と数学がより高い水準の厳密性を求める領域へ加速的に進んでいることを示すものである。