Google DeepmindのAIが9問解答

この研究がScienceに掲載された点で、正式な査読を省いた最近のAI数学関連の発表とは一線を画す。OpenAIは最近、数百件のAIによる証明を学術誌に投稿せずGitHubに公開し、Terence Tao氏が率いるAssociation for Human Mathematicsがボイコットを呼びかけた。一方、Deepmindは自らの成果を査読にかけた。システムはGemini 3.1 Proを基盤とし、形式言語Leanで証明を起草・修正する。Leanは編集のたびに各草稿を検証し、エラーメッセージが次の試行を導く。より難しい部分問題では、専門の証明ツールAlphaProofを呼び出せるが、Google DeepmindによればAlphaProofなしでもErdős問題9件を解いた。Erdős問題以外にも、このシステムはOEIS整数数列データベースから44件の予想を証明し、代数幾何学の未解決問題を解き、一部のAIモデルの訓練に使われる手法であるミニマックス最適化の既知の上界を改善した。