AI共同数学者：エージェント型AIによる数学者の加速化

要旨

AI共同数学者を紹介する。これは数学者がAIエージェントと対話的に協働し、未解決問題の研究に取り組むための作業環境である。AI共同数学者は、数学的研究ワークフローの探求的・反復的な性質（アイデア創出、文献検索、計算的探求、定理証明、理論構築を含む）を包括的に支援するよう最適化されている。不確実性を管理し、ユーザーの意図を精緻化し、失敗した仮説を追跡し、標準的な数学的成果物を出力する非同期の状態保持ワークスペースを提供することで、本システムは人間同士の協働ワークフローを模倣する。初期テストでは、AI共同数学者は研究者が未解決問題を解決し、新たな研究方向を特定し、見過ごされていた文献参照を発見するのに貢献した。AI支援による数学的発見に対する高度にインタラクティブなパラダイムを示すだけでなく、AI共同数学者は困難な問題解決ベンチマークにおいても最先端の結果を達成している。特にFrontierMath Tier 4で48%というスコアを記録し、評価対象となった全AIシステムの中で新たな最高得点を獲得した。

English

We introduce the AI co-mathematician, a workbench for mathematicians to interactively leverage AI agents to pursue open-ended research. The AI co-mathematician is optimized to provide holistic support for the exploratory and iterative reality of mathematical workflows, including ideation, literature search, computational exploration, theorem proving and theory building. By providing an asynchronous, stateful workspace that manages uncertainty, refines user intent, tracks failed hypotheses, and outputs native mathematical artifacts, the system mirrors human collaborative workflows. In early tests, the AI co-mathematician helped researchers solve open problems, identify new research directions, and uncover overlooked literature references. Besides demonstrating a highly interactive paradigm for AI-assisted mathematical discovery, the AI co-mathematician also achieves state of the art results on hard problem-solving benchmarks, including scoring 48% on FrontierMath Tier 4, a new high score among all AI systems evaluated.

AI共同数学者：エージェント型AIによる数学者の加速化

AI Co-Mathematician: Accelerating Mathematicians with Agentic AI

要旨

Support