OpenAI、数学・計算機科学・物理の難問を解決と発表　ノーベル賞受賞者が検証

何が起きたのか

OpenAI は現地時間の26日、自社の AI モデルが調和解析、計算量理論、量子場理論の3分野で新しい研究成果を出したと発表しました。AI は何十年も未解決だった数学の予想を解き、多くのコンピュータ科学者が正しいと考えている仮説を証明したと主張しています。結果は、ノーベル賞を受賞した物理学者を含む独立した専門家が確認し、説明する予定です。

主な数字と事実

• 数学：1991年に出された「局所平滑化予想」が、すべての次元で証明されたとしています。2019年には2次元でしか証明されていませんでした。
• コンピュータ科学：「指数時間仮説（ETH）」を検証しました。AI はETHに反する証明を作り、その証明は Lean というツールで確認されたとしています。
• 物理学：4次元の量子場理論に対して、存在の証明を示したとしています。純粋ヤン・ミルズ理論の証明も含まれ、これはミレニアム懸賞問題に関係します。
• OpenAI は、AI 研究のイベントやプログラムを支えるために、サイモンズ財団へ500万ドルを寄付しました。

基本の用語

予想とは、正しいと思われているけれど、まだ証明されていない数学のアイデアのことです。証明とは、そのアイデアが必ず成り立つことを、一歩ずつ論理で示す説明です。Lean は、証明の各ステップが正しいかを調べ、コンピュータが確認できるようにするツールです。ミレニアム懸賞問題は、とても難しい7つの数学の問題で、解けた人にはクレイ数学研究所から100万ドルの賞金が出ます。

なぜ重要なのか

もしこれらの結果が正しいと確かめられれば、難しい数学やコンピュータで計算できることの限界について、科学者の考え方が変わるかもしれません。ETH は、なぜある問題の計算が難しいのかを説明するために、何百もの論文で使われています。そのため、ETH に反する結果は、より速いアルゴリズム（計算の手順）への道を開く可能性があります。ただし OpenAI 自身も、実際に速くなるには多くの追加研究が必要だと述べています。AI が作った証明は、独立した検証を受けて初めて本物の科学と認められる、と同社は説明しています。

今後の注目点

• 外部の専門家が、OpenAI の証明に同意するかどうか。
• 物理学の結果：外部の研究者の求めに応じて、OpenAI は AI が作った資料の公開を一時止めました。今後は同社のチームが自ら研究成果をまとめる予定です。
• ETH の結果から、本当に速いアルゴリズムが生まれるかどうか。
• 500万ドルのサイモンズ財団への資金が、どのように使われるか。