OpenAI、AIによる数学論文722本を公開

OpenAIの公開は、プリンストン高等研究所の独立組織「数学・人工知能に関する諮問グループ（AGMAI）」との協議を経たものだ。OpenAIは、AIが生成した数学情報の責任ある公開に関する提言などAGMAIの助言を参考にしたと述べている。リポジトリには論文の改訂や引用の手順も示されている。

722点の論文は372の系統にまとめられ、数学の分野別に分類されている。多くは関連する証明資料を含み、OpenAIは多くの証明の形式化をLeanで公開した。Leanは計算機が数学の証明を検証できるプログラミング言語だ。OpenAIは新しい形式化が利用可能になり次第、リポジトリを更新する予定だとしている。

外部の反応は熱烈だが賛否が分かれている。量子情報研究者のIsaac Kim氏は、自身の分野の問題リストに衝撃を受けたと述べ、変化が速すぎて数カ月後どころか1年後も想像できないと語った。Xアカウント「AI Notkilleveryoneism Memes」は、AIが数学の最重要未解決問題500のうち90を解決し、リーマン予想、ホッジ予想、バーチ・スウィナートン=ダイヤー予想といった上位の問題で部分的な進展があったと挙げた。別のXユーザー「imjustnewatai」は準リーマン予想やユニークゲーム予想を含む4つの主要な主張を選んだが、いずれも外部の数学者にはまだ確認されていないと注記した。

焦点は、数学者がこれらの証明の中に真に新しいアイデアを見いだせるか、それとも成果の多くが既存手法の再結合にとどまるのかに移りつつある。数百の証明の分析には数カ月かかる可能性があり、すべての論文がLeanで形式化されているわけではないため、未検証の問題も残る。数学界がこの一群の新規性と信頼性をどう評価するかが、今後AI生成の成果をどう公開し査読するかの形を左右しそうだ。