OpenAI、AIが掛谷問題を解決しETHを反証したと主張

OpenAIは数学、計算機科学、物理学における3つの新しい発見を発表した。モデルは、数百本の論文で計算量の難しさの前提として用いられてきた指数時間仮説（ETH）が偽であることを証明した。この結果はLeanで形式的に検証済みであり、同仮説の提唱者であるラッセル・インパリアッツォとラマモハン・パトゥリ、さらにMIT教授のライアン・ウィリアムズが率いるグループによって確認される予定である。

モデルは任意の次元における局所平滑化予想を証明し、それによって掛谷予想とスタイン制限予想を解決した。物理学の面では、量子色力学を含む4次元量子場理論の厳密な存在証明を示し、その中にはミレニアム懸賞問題に関連する純粋ヤン・ミルズ理論の存在証明も含まれ、これはノーベル物理学賞受賞者のデイヴィッド・グロスが率いるグループによって確認される予定である。

OpenAIはこれらの原稿を生の研究データとみなし、新たな公開手法を試みている。外部の専門家に働きかけて導き手（シェパード）の役割を担ってもらい、新しい結果を理解するためのグループを組織している。数学の結果については、OpenAIはAIの出力を公開し、研究者がそれを説明するための取り組みを自ら組織する自由を残した。計算機科学については、外部の協力者グループが結果を説明し、AIの出力は公開される。物理学については、外部のグループが資料の公開時期について判断を委ねられている。

OpenAIは、自社の内部モデルが生み出した発見について学術的な功績を求めていないと述べ、ワーキンググループのメンバーは自発的かつ無報酬で独立して参加しているとしている。これらの結果は依然として学界による独立した検証を待っている。