arXiv · AI· Ying Xie·· 8 小时前AI 评分28
RRE框架：通过演化推理图进行递归数学研究
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
AI 导读
研究提出递归推理探索（RRE）框架，通过演化推理图链接主张、前提与修订以支持累计数学研究。 该框架作为数学工具计划的第三阶段，案例研究证明对于秩大于二的二项张量分解，最小Nullstellensatz证书度为3n，并给出了关于幂零矩阵的界3m + 3至3m + 6。 RRE记录为研究数学调查如何发展提供素材，支持人类主导及自主探索。
来源：arXiv · AI · arxiv.org