OpenAI、372件のAI証明公開

OpenAIの今回の公開は、数学的成果が伝統的に共有されてきた方法からの脱却を意味する。査読付きジャーナルに投稿する代わりに、同社は372件の成果を改訂ログと引用を添えて直接GitHubリポジトリに置き、機械検証用のLean形式化も含めた。推論の要約、試行した問題数、計算コストの見積もりなど方法論の詳細も公開した。これは、1万体のエージェントと数百万ドルの計算資源を要した以前のNavier-Stokes解とは対照的だ。

OpenAIは、フィールズ賞受賞者のTimothy Gowersを含むInstitute for Advanced Studyの数学・人工知能に関する諮問グループに相談し、彼らの公開提言に緩く従った。しかしOpenAIは一線を引いた。グループは成果がどのように伝えられるかについて助言できても、成果を生み出すか否か、どのくらいの速さで生み出すかについては関与できないとした。この線引きと、ジャーナル査読を省く決定が、反応が興奮から不満まで幅広く分かれた理由を説明する助けになる。

成否は、数学コミュニティがこれらの成果を関連性があり独創的だと判断するかどうかにかかっており、Lean形式化ではそれは判定できない。AI生成の証明の量が増え続ければ、OpenAIが指摘する査読のボトルネックは悪化し、若手数学者の育成と人間の理解の維持についてのGowersとTerence Taoの警告はより切迫したものになりうる。