提出递归推理探索框架并给出张量分解定理

研究者提出递归推理探索（RRE）框架，用不断演化的推理图把数学主张、前提、反例与修订串联起来，以支持人机协作和自主探索。论文称，该框架用于让数学研究能够累积推进。 同一项工作还给出两项张量分解的精确证书度定理。

AI 根据报道生成 · 2 小时前更新

还没有足够的连续观测数据，暂不绘制趋势。