OpenAIが数学・物理学など3つの新発見を発表

OpenAIの説明によれば、成果は短期間に得られ、その後は外部の手に移った。AIは2026年10月18日に局所平滑化の証明を生み、Lean形式化は翌日に実行された。指数時間仮説の反証は10月16日に自然言語で得られ、17日に形式化された。物理学の成果はさらに遡り、ヤン=ミルズ理論の存在に関する自然言語の証明が9月9日、量子色力学の証明が9月18日だったが、形式化の完了を待つため公表は10月下旬まで遅れ、ヤン=ミルズの形式化は10月16日に完了した。

OpenAIが外部連携に設けた4原則が功績の扱いを形作る。OpenAIは社内モデルが生んだ発見について学術的功績を求めず、参加は任意で無報酬、メンバーは個人として発言するとしている。実際にOpenAIが招集したグループは最初の発見ではなく、出力を理解し説明する役割を担う。そのため執筆と検証の役割は名指しの外部研究者にある。

3つの公表経路は開放性で異なり、OpenAIはその差異を決着済みではなく未解決として示す。数学の出力は研究者が集まれるよう公開され、計算機科学グループは自然言語の証明とLean形式化の両方を直ちにGitHubで公開し、物理学グループはAI生成の出力を伏せて独自論文を書くことを選んだ。指数時間仮説についてOpenAI自身は、反証によりこれらの問題をどこまで高速に解けるかが再び開かれるが、そうしたアルゴリズムの発見と理論的進展を実用的利益につなげるには更なる研究が必要だと位置づけている。