摘要
大型语言模型虽提升了自动定理证明能力，但在处理复杂数学推理时往往需多次修正策略。现有方法要么全盘重生成导致效率低下，要么迭代修复致使上下文过长而削弱模型注意力。为此，本文提出 Mechanic 系统，采用由
AI 推荐理由
论文核心解决复杂数学推理中的策略修正问题，提出新机制提升定理证明效率。
研究机构
中国科学院数学与系统科学研究院
中国科学院大学先进交叉科学学院
论文信息