OpenAIが一気に722本のAI数学原稿を公開、数学界が検証を開始

動察 Beating AI 速報、OpenAI は未公開の内部フロンティアモデルによって生成された数学的結果の一群を公開した。合計722篇の原稿で、約4000のオープンな研究問題の評価から得られたものである。多くの原稿は同一の核心的結果を中心に展開しており、統合すると372組の相互に関連する結果に対応する。

そのうちのいくつかは、長期間未解決の重要な問題に直接触れている。モデルは Unique Games 予想の証明を与えた。リーマン ζ 関数が実部 7/8 より大きい領域に零点を持たないことの証明は、「準リーマン予想」と呼ばれている。さらに、CM アーベル多様体上の有理 Hodge 予想、および1940年代以来未解決であった自由群因子問題も扱った。Unique Games、準リーマン、自由群因子などの結果には Lean 形式化証明が付されており、コンピュータによる証明過程の検査が可能である。

ただし、これらの結果のすべてを確定した結論として扱うことはできない。OpenAI は、結果ごとに検証の程度は一様ではなく、形式化証明のない部分には依然として誤りが存在する可能性があると述べている。公開に関する諮問に参加した独立数学顧問グループ AGMAI も、これらの結果を支持しないと明確に表明している。