論文の概要: Autonomous Mathematical Discovery in an Open-World Multi-Agent Environment
- arxiv url: http://arxiv.org/abs/2608.23691v1
- Date: Mon, 24 Aug 2026 18:00:03 GMT
- ステータス: 翻訳完了
- システム内更新日: 2026-08-26 14:09:34.474514
- Title: Autonomous Mathematical Discovery in an Open-World Multi-Agent Environment
- Title（参考訳）: オープンワールドマルチエージェント環境における自律的数学的発見
- Abstract要約: 我々は、異なるモデルファミリーのAIエージェントが共通の研究目標を追求する、オープンワールドのマルチエージェント環境であるステーションで自律的な数学的発見を研究する。
生エージェントの対話、証明、検証コードをすべて公開し、これらの発見がどのように現れたのかを透過的に記録します。
- 参考スコア（独自算出の注目度）: 12.952007953406872
- License: http://creativecommons.org/licenses/by-nc-sa/4.0/
- Abstract: We study autonomous mathematical discovery in the Station, an open-world multi-agent environment in which AI agents from different model families pursue a shared research goal without a central coordinator or scripted pipeline. Agents choose their own research directions, conduct experiments, collaborate, and build a shared scientific literature. Across 12 construction problems from the AlphaEvolve catalogue and two additional case studies, the Station obtained results novel relative to the prior literature on five problems: a new infinite family of finite-field Kakeya sets, new exact 604-point kissing configurations in dimension 11, new records for the discretized Kakeya needle and sign uncertainty problems, and a substantially improved lower bound for Erdős's minimum-overlap problem. Agents also discovered novel infinite families for Book Ramsey numbers. Importantly, the agents produced not only numerical constructions but also theorems and analyses explaining how those constructions work, making the results more interpretable and easier for mathematicians to build upon. We release all raw agent dialogues, proofs, and verification code, providing a transparent record of how these discoveries emerged.
- Abstract（参考訳）: 本研究では,異なるモデルファミリーのAIエージェントが,中央コーディネータやスクリプトパイプラインを使わずに共通の研究目標を追求する,オープンワールドなマルチエージェント環境であるステーションで自律的な数学的発見を研究する。
エージェントは自身の研究方向を選択し、実験を行い、協力し、共有された科学文献を構築する。
AlphaEvolveカタログからの12つの建設問題と、さらに2つのケーススタディにより、ステーションは、新しい有限体カキーア集合の無限族、11次元の新しい正確な604点キス構成、識別されたカキーアの針と不確実性に関する新しい記録、エルデシュの最小オーバーラップ問題に対する大幅に改善された下位境界の5つの問題に関する以前の文献と比較して、新しい結果を得た。
エージェントはまた、ブック・ラムジー数のための新しい無限族を発見した。
重要なことに、エージェントは数値的な構造だけでなく、それらの構造がどのように機能するかを説明する定理や分析も作り出した。
生エージェントの対話、証明、検証コードをすべて公開し、これらの発見がどのように現れたのかを透過的に記録します。
関連論文リスト
- From Solvers to Research: Large Language Model-Driven Formal Mathematics at the Research Frontier [109.93387172162984]
AI4Mathシステムの次の飛躍は、事前に定義された問題解決者から研究エージェントへの決定的なシフトを必要とする。
この分野の体系的なレビューを行い、データセット、自動形式化、証明合成について紹介する。
論文 参考訳（メタデータ） (2026-07-08T17:46:36Z) - Harnessing the Collective Intelligence of AI Agents in the Wild for New Discoveries [35.87396515951979]
EinsteinArenaは、オープンな分散研究と発見のためのエージェントネイティブプラットフォームである。
2026年5月時点で、EinsteinArenaのエージェントは、これまでの人間やAIソリューションよりも、12の最先端の結果を発見した。
論文 参考訳（メタデータ） (2026-06-09T04:25:28Z) - LeanMarathon: Toward Reliable AI Co-Mathematicians through Long-Horizon Lean Autoformalization [104.06650149974585]
信頼性の高い研究レベルのLean AutoformalizationのためのマルチエージェントハーネスであるLeanMarathonを紹介します。
4つのコントラクトスコープエージェントがこの青写真を構築し、監査し、証明し、修復する。
我々は4つのErds問題にまたがる最近の2つの研究論文でLeanMarathonを評価した。
論文 参考訳（メタデータ） (2026-06-03T20:09:39Z) - Science Earth: Towards A Planet-Scale Operating System for AI-Native Scientific Discovery [51.70607714288616]
サイエンスアース(Science Earth)は、惑星規模の科学ランタイムで、あらゆる能力が他のものと接続できる。
その基盤となるEACNプロトコルは、機能を相互に発見し、タスクのオーナシップを交渉し、互換性のない明示的な標準を越えて判断することを可能にする。
2つの実行は、構造的に異なる条件下でこれを検証します。
論文 参考訳（メタデータ） (2026-05-31T16:05:41Z) - The Last Human-Written Paper: Agent-Native Research Artifacts [106.47848184955576]
本稿では,物語紙を機械処理可能な研究パッケージに置き換えるプロトコルであるAgent-Native Research Artifact(ARA)を紹介する。
通常の開発において決定と終了をキャプチャするLive Research Manager、レガシPDFとリポジトリをARAに変換するARAコンパイラ、人間レビュアーが重要性、ノベルティ、味にフォーカスできるように客観的チェックを自動化するARAネイティブレビューシステムである。
論文 参考訳（メタデータ） (2026-04-27T16:23:09Z) - Agentic Neurosymbolic Collaboration for Mathematical Discovery: A Case Study in Combinatorial Design [39.02605479431633]
我々は,大言語モデル(LLM)を用いたAIエージェントを用いた,ニューロシンボリック推論のレンズによる数学的発見を研究する。
この人間とAIのコラボレーションの主な結果は、n equiv 1 pmod3$という非常に難しいケースに対するラテン正方形の不均衡の厳格な下限である。
論文 参考訳（メタデータ） (2026-03-09T12:42:56Z) - 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) - The Station: An Open-World Environment for AI-Driven Discovery [14.556758955830796]
ミニチュア科学エコシステムをモデル化するオープンワールドマルチエージェント環境STATIONを紹介する。
ステーションのエージェントは、同僚から論文を読み、仮説を定式化し、コードを提出し、分析を行い、結果を公表するなど、長い科学的な旅をすることができる。
実験によると、ステーションのAIエージェントは、数学から計算生物学、機械学習まで、幅広いベンチマークで最先端のパフォーマンスを達成する。
論文 参考訳（メタデータ） (2025-11-09T10:13:00Z) - Learning from {\L}ukasiewicz and Meredith: Investigations into Proof
Structures (Extended Version) [4.111899441919164]
本稿では,選択問題におけるグローバル特徴とその証明について検討する。
研究対象の課題は"axiom(s)"と" rule(s) imply goal(s)"の広義の形式である。
論文 参考訳（メタデータ） (2021-04-28T09:09:20Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。