論文の概要: Recursive Reasoning Exploration: Mathematical Research through Evolving Reasoning Graphs : case study: An Exact Certificate-Degree Theorem for Two-Term Tensor Decompositions : Phase III of the Math Instruments Program

• arxiv url: http://arxiv.org/abs/2611.02186v1
• Date: Sun, 01 Nov 2026 20:32:15 GMT
• ステータス: 情報取得中
• システム内更新日: 2026-11-03 20:12:47.033409
• Title: Recursive Reasoning Exploration: Mathematical Research through Evolving Reasoning Graphs : case study: An Exact Certificate-Degree Theorem for Two-Term Tensor Decompositions : Phase III of the Math Instruments Program
• Title（参考訳）: Recursive Reasoning Exploration: Mathematical Research through Evolving Reasoning Graphs: Case Study: An Exact Certificate-Degree Theorem for Two-Term Tensor Decompositions : Phase III of the Math Instruments Program
• Abstract要約: 進化的推論グラフによる累積数学的研究のためのフレームワークであるRecursive Reasoning Exploration (RRE)を提案する。 RREはクレームと共同で要求される前提を、調査対象、議論、反例、小切手、修正にリンクする。 各調査はさらなる目標を達成でき、その支援された結果がその後の調査で利用可能になる。
• 参考スコア（独自算出の注目度）: 0.11080037957254413
• License:
• Abstract: Large collections of manuscripts and research notes offer ways to reuse arguments, while making it harder to retain hypotheses, check claims, and understand how results were obtained. We propose Recursive Reasoning Exploration (RRE), a framework for cumulative mathematical research through evolving reasoning graphs. RRE links claims and jointly required premises to research targets, attempted arguments, counterexamples, checks, and revisions. Each investigation can generate further targets, and its supported outcomes become available to subsequent investigations. This is Phase III of the Math Instruments program: identifying mathematical instruments, reconstructing reusable reasoning, and organizing recursive research from that reasoning. The framework supports human-directed, collaborative, and goal-directed autonomous exploration, with open-ended exploration as a further mode. Its records also provide material for learning how mathematical investigations develop. A complexity research case study establishes an exact theorem: for every complex tensor of order n >= 2 and rank greater than two, the minimum Nullstellensatz certificate degree for its original two-term decomposition equations is 3n. This includes an infinite family whose every flattening has rank at most two. The exploration develops an explicit boundary certificate, a balanced transfer lemma, and an exhaustive argument using classical rank-two geometry. A parallel branch gives bounds 3m + 3 <= delta_m(I_m, N) <= 3m + 6 for every nonzero nilpotent m by m matrix. Six graph revisions record the progression from inherited results to these theorems, with exact arithmetic checks and a replayable exploration history. We present the RRE representation and protocol, the mathematical proofs, visualizations of graph evolution, and a research agenda for shared human-AI exploration, cumulative reuse, and education.
• Abstract（参考訳）: 原稿や研究ノートの大規模なコレクションは、議論を再利用する方法を提供し、仮説の維持、主張の確認、結果の入手方法の理解を困難にしている。 進化的推論グラフによる累積数学的研究のためのフレームワークであるRecursive Reasoning Exploration (RRE)を提案する。 RREはクレームと共同で要求される前提を、調査対象、議論、反例、小切手、修正にリンクする。 各調査はさらなる目標を達成でき、その支援された結果がその後の調査で利用可能になる。 これはMath Instrumentsプログラムの第3フェーズであり、数学機器を識別し、再利用可能な推論を再構築し、その推論から再帰的な研究を組織する。 このフレームワークは、人間指向、協調、および目標指向の自律探査をサポートし、さらなるモードとしてオープンエンド探索をサポートする。 その記録はまた、数学的調査の進展を学ぶための資料も提供している。 複雑性研究のケーススタディでは、位数 n >= 2 で階数 2 より大きい任意の複素テンソルに対して、元の 2 項分解方程式に対する最小のヌルステレンサッツ証明度は 3n である、という正確な定理が確立されている。 これには、全ての平坦化が最高2のランクを持つ無限の族が含まれる。 この探索では、明示的な境界証明、バランスの取れた移動補題、古典的なランク2幾何を用いた徹底的な議論が開発された。 平行分岐は、3m + 3 <= delta_m(I_m, N) <= 3m + 6 を m 行列による任意の 0 個の零零元 m に対して与える。 6つのグラフ修正は、これらの定理への継承結果から、正確な算術チェックと再生可能な探索履歴を含む進歩を記録している。 本稿では、RRE表現とプロトコル、数学的証明、グラフ進化の可視化、人間-AI探索の共有、累積再利用、教育に関する研究課題について述べる。

関連論文リスト

• Lean Graph Search for Formal Theorem Proving [82.31440013289564]
  グラフに基づくLean4の検索手法であるLeanGraphSearchを提案する。 Mathlibのフォワード依存関係からグラフを構築し、それをトラバースして、サポート対象の補題を明らかにする。 3つの定理証明ベンチマークで、LeanGraphSearchは8, 16, 32リフレクションのパスレートをバニラ証明よりも40%向上させる。
  論文  参考訳（メタデータ） (2026-10-15T17:55:21Z)
• Euler: Towards Human-Centered Multi-Agent Mathematical Discovery [27.15279139913333]
  我々は、研究プロセスの共有された構造化された表現を中心に構築された、人間中心の数学的研究システムであるEulerを紹介する。 E Euler は、数学的ステートメント、仮定、証明依存、代替アプローチ、試み失敗、検証証拠を連結された研究グラフにまとめる。 E Eulerは、各セッションの計画、コラボレーション、検証に関して、永続的でタスクに依存した知識をエージェントに提供する。
  論文  参考訳（メタデータ） (2026-10-14T09:27:36Z)
• Continual Graph Memory for Mathematical Research Agents [95.750048838182]
  Ansatzはグラフベースの、進化可能な、クロスプロブレムな数学的研究メモリシステムである。 証明探索プロセス全体を整理し、過去の問題の探索軌跡から情報を再利用する。 アンサッツは10の研究課題の全てを閉鎖し、長期の数学的探索を継続し再開する能力を示した。
  論文  参考訳（メタデータ） (2026-10-02T07:38:09Z)
• MathCoPilot: An Interactive System for Human-AI Symbiotic Paradigm of Mathematical Research [62.221184989046826]
  MathCoPilotは、数学研究のための新しいAI共生パラダイムを具現化したループシステムである。 MathCoPilotは3つのコア機能を統合する: 証明をナビゲート可能なステップに分解するインタラクティブな証明青写真、適応的な知識ベース検索とリーン統合された反復検証を備えた自動証明スキルオーケストレーション、トピック駆動の紙検索と自動形式化を検証可能なリーン知識ベースに統合する。
  論文  参考訳（メタデータ） (2026-07-16T05:22:40Z)
• From Solvers to Research: Large Language Model-Driven Formal Mathematics at the Research Frontier [109.93387172162984]
  AI4Mathシステムの次の飛躍は、事前に定義された問題解決者から研究エージェントへの決定的なシフトを必要とする。 この分野の体系的なレビューを行い、データセット、自動形式化、証明合成について紹介する。
  論文  参考訳（メタデータ） (2026-07-08T17:46:36Z)
• MechMath Agent Team: LLM Driven Agents for Mathematical Research [17.23955320294417]
  MechMath Agent Team (MMAT) は、数学研究の全サイクルを通して共同パイロットとして機能するように設計された大規模言語モデル駆動エージェントである。 我々は、システムの責任をコントロール、実行、拡張プレーンに分離する三部構成のハーネスアーキテクチャを設計する。 我々は、数論、代数的複素性理論、微分代数、作用素代数、不等式における開問題に関するMMATを評価する。
  論文  参考訳（メタデータ） (2026-07-05T16:37:40Z)
• 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)
• ATG: Benchmarking Automated Theorem Generation for Generative Language Models [83.93978859348313]
  人間はより広範に複雑な数学的結果を探求するために新しい定理を開発することができる。 現在の生成言語モデル(LM)は、定理の自動証明において著しく改善されている。 本稿では,エージェントが価値ある(あるいは新しい)定理を自動生成できるかどうかを評価する自動定理生成ベンチマークを提案する。
  論文  参考訳（メタデータ） (2024-05-05T02:06:37Z)
• Considerations on Approaches and Metrics in Automated Theorem Generation/Finding in Geometry [0.0]
  我々は、幾何定理(と性質)の自動発見のための異なるアプローチを提示し、議論する。 定理証明者が興味深い定理を生成できるかどうかを判断することは、決定論的でない課題である。
  論文  参考訳（メタデータ） (2024-01-22T12:51:19Z)

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

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