論文の概要: AI co-mathematician: Accelerating mathematicians with agentic AI

• arxiv url: http://arxiv.org/abs/2605.06651v2
• Date: Wed, 13 May 2026 16:47:04 GMT
• ステータス: 翻訳完了
• システム内更新日: 2026-05-14 17:13:58.778697
• Title: AI co-mathematician: Accelerating mathematicians with agentic AI
• Title（参考訳）: AIの共同数学者:エージェントAIによる数学者の加速
• Authors: Daniel Zheng, Ingrid von Glehn, Yori Zwols, Iuliya Beloshapka, Lars Buesing, Daniel M. Roy, Martin Wattenberg, Bogdan Georgiev, Tatiana Schmidt, Andrew Cowie, Fernanda Viegas, Dimitri Kanevsky, Vineet Kahlon, Hartmut Maennel, Sophia Alj, George Holland, Alex Davies, Pushmeet Kohli,
• Abstract要約: 我々は、数学者がAIエージェントを対話的に活用し、オープンエンドの研究を追求するためのワークベンチであるAIコマンセマティクスを紹介した。 AIの共数学者は、文献探索、計算探索、定理証明、理論構築など、数学観念の探索的かつ反復的な現実を総合的に支援することを目的としている。 初期のテストでは、AIの共同数学者は、オープンな問題の解決、新しい研究方向の特定、文献参照の発見に協力した。
• 参考スコア（独自算出の注目度）: 37.60588462488029
• License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
• Abstract: 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.
• Abstract（参考訳）: 我々は、数学者がAIエージェントを対話的に活用し、オープンエンドの研究を追求するためのワークベンチであるAIコマンセマティクスを紹介した。 AIの共数学者は、アイデア、文献探索、計算探索、定理証明、理論構築を含む数学的ワークフローの探索的および反復的現実に対する全体的支援を提供するよう最適化されている。 不確実性を管理し、ユーザの意図を洗練し、仮説を追及し、ネイティブな数学的アーティファクトを出力する非同期でステートフルなワークスペースを提供することで、システムは人間の協調ワークフローを反映する。 初期のテストでは、AIの共同数学者は、オープンな問題を解決し、新しい研究方向を特定し、見落とされた文献の参照を明らかにするのに役立った。 AI支援数学的発見のための高度にインタラクティブなパラダイムの実証に加えて、AIの共同数学者は、ハードな問題解決ベンチマークに関する最先端の結果も達成している。

関連論文リスト

• The AI Research Assistant: Promise, Peril, and a Proof of Concept [0.0]
  詳細な事例研究を通じて実証的な証拠を提供する。 コラボレーションによって、注目すべき機能と限界の両方が明らかになった。 我々の経験から、適切な懐疑論や検証プロトコルを使用すると、AIツールは数学的発見を有意義に加速させることができることが示唆されている。
  論文  参考訳（メタデータ） (2026-02-26T10:29:05Z)
• Towards Autonomous Mathematics Research [48.29504087871558]
  Aletheiaは、自然言語のエンドツーエンドの解を反復的に生成し、検証し、修正する数学研究エージェントである。 具体的には、AletheiaはGemini Deep Thinkの高度なバージョンで、推論の問題に挑戦している。 我々は、オリンピアード問題から博士レベルのエクササイズまで、AI支援数学研究におけるいくつかのマイルストーンを通じて、アレクシアを実証する。
  論文  参考訳（メタデータ） (2026-02-10T18:50:15Z)
• Accelerating Scientific Research with Gemini: Case Studies and Common Techniques [105.15622072347811]
  大規模言語モデル(LLM)は、科学研究を加速するための新たな道を開いた。 先進的なAIモデルとどのように協力したかを示すケーススタディのコレクションを提示する。
  論文  参考訳（メタデータ） (2026-02-03T18:56:17Z)
• Mathematics and Machine Creativity: A Survey on Bridging Mathematics with AI [14.825293189738849]
  本稿では,人工知能(AI)の数学的研究への応用について概観する。 近年のAIの発展、特に強化学習(RL)と大規模言語モデル(LLM)は、AIが数学に貢献する可能性を実証している。 この調査は、AIと数学の橋渡し、相互利益に関する洞察を提供し、より深い学際的理解を促進することを目的としている。
  論文  参考訳（メタデータ） (2024-12-21T08:58:36Z)
• Formal Mathematical Reasoning: A New Frontier in AI [60.26950681543385]
  我々は公式な数学的推論を提唱し、AI4Mathを次のレベルに進めるには不可欠であると主張している。 既存の進捗を要約し、オープンな課題について議論し、将来の成功を測るための重要なマイルストーンを想定します。
  論文  参考訳（メタデータ） (2024-12-20T17:19:24Z)
• AI for Mathematics: A Cognitive Science Perspective [86.02346372284292]
  数学は人間によって開発された最も強力な概念体系の1つである。 AIの急速な進歩、特に大規模言語モデル(LLM)の進歩による推進により、そのようなシステム構築に対する新たな、広範な関心が生まれている。
  論文  参考訳（メタデータ） (2023-10-19T02:00:31Z)

関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。

指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。