arXiv:2605.06651: Google DeepMindがAI Co-Mathematicianを発表、FrontierMath Tier 4で48%を達成

Google DeepMindの研究チームは2026年5月7日、「AI Co-Mathematician: Accelerating Mathematicians with Agentic AI」と題した論文をarXivで発表した。このシステムは自律型定理証明器ではなく、AIエージェントと数学者がオープンな研究問題に協力する対話型ワークスペースだ。

AI Co-Mathematicianとは？

このシステムはオープンな数学的探究を支援するために設計された対話型研究ワークスペースとして機能する。アイデア生成（概念的発展）、文献検索、計算的探索、定理証明、理論構築という5つの主要な作業次元をカバーしている。著者たちはその設計を「数学的ワークフローの探索的かつ反復的な現実への包括的支援」と表現し、協力モデルは「人間の協働プロセスを映し出す」ものだと述べる。強調されているのはパートナーシップであり、自動化ではない。

ワークスペースの技術的な仕組み

ワークスペースは非同期かつ永続的な状態を持つ。エージェントが仮説をバックグラウンドで処理する間、研究者は別の作業ができ、コンテキストはセッションをまたいで保持される。システムは4つの操作機能を実行する。不確実性の管理、ユーザーの意図の精緻化、同じ試みが繰り返されないよう失敗した仮説の追跡、そして標準的なフォーマット（LaTeX、Leanの証明、計算ノートブック）での数学的成果物の生成だ。

FrontierMath Tier 4での48%が意味するもの

FrontierMathは博士数学者が構築したクローズドな未発表問題のベンチマークだ。Tier 4は最高難度でオリンピックレベルではなく研究数学が要求される。48%はこれまでに評価されたすべてのAIシステムの新記録であり、以前に発表された結果から大幅な向上を示している。著者たちは選ばれた数学者との初期テストがすでにオープンな問題の解決に役立ったと述べており、ベンチマークの数字が実際の研究での有用性と一致することを示唆している。

数学コミュニティにとっての意味

この論文はAIを研究者の代替としてではなく、研究サイクルを加速するパートナーとして位置付けている。失敗した仮説の追跡と非同期性は、数学者が探索を委任して結果が出たときに戻れることを意味する。これはソフトウェアにおけるエージェント開発ツールの使い方と似たパターンだ。論文が答えていないオープンな問いは、このシステムが公開されるのか、それともGoogle内部の研究ツールにとどまるのかという点だ。18名の著者にはDaniel Zheng、Ingrid von Glehn、Yori Zwols、Pushmeet Kohli、Fernanda Viegasが含まれる。