OpenAIがAIによる科学分野での3つの画期的成果を発表

OpenAIは、そのAIモデルが数学、コンピュータ科学、物理学の3大分野において3つの重大なブレイクアウトを達成したと発表しました。これは、AIが複雑な科学理論を独自に発見し、厳密に証明する能力を初めて示したものであり、従来の単なる質問応答や研究支援の枠組みを大きく超える成果です。数学分野では、このモデルが任意次元に適用可能な局所的滑らかさ予想の証明に成功し、これを基盤としてカケア予想およびスタイン制限予想の解決を一気に実現しました。コンピュータ科学分野では、長年にわたり基礎的前提と見なされてきた指数時間仮説を覆し、より効率的なアルゴリズム設計のための新たな道を切り開きました。物理学分野では、量子色力学およびヤン–ミルズ理論の厳密な数学的存在性証明を構築しました。この問題は、クレイ数学研究所が公表した「ミレニアム懸賞問題」7問の1つに位置付けられています。金十データによると、OpenAIは数学およびコンピュータ科学分野の成果について、Lean数理検証ツールを用いた形式的検証を完了しており、同時にすべての証明資料を公開しています。