OpenAI、すでに衝撃を受ける数学界にさらに数百件の数学的成果を公開

OpenAIは、内部の大規模言語モデルが生成した372件の数学的成果を公開し、それぞれが数学または理論計算機科学における主要な未解決問題を解決または大幅に前進させると主張している。GitHubに投稿された成果には、4次元Kakeya予想の解決、重要なコンピュータアルゴリズムの改良、Riemann予想への進展が含まれる。多くは証明検証言語Leanで検証済みである。OpenAIによれば、モデルは単一のAIエージェントに与えられた1つのプロンプトに応答してほぼすべての成果を生成したという。これは、10,000体のエージェント群と数百万ドルの計算コストを要した以前のNavier-Stokes問題の解決とは対照的である。数学者らは、OpenAIの大胆な主張と透明性の欠如を理由に懐疑的である。同社はモデル、プロンプト、正確な計算時間を公開しておらず、独自に招集した独立諮問グループの勧告にもかかわらずである。一部の数学者は証明の公開を有益と考える一方、Terence TaoらはAI生成成果の「異常な」ペースを批判している。OpenAIは、自社の数学者でさえ多くの成果をまだ理解していないと認めつつも、これらの問題がAIの進歩を示す不可欠なテストであるため減速できないと主張している。

(出典：Scientific American)