MechMath 智能体团队：用于数学研究的 LLM 驱动智能体

针对数学研究非线性推导、严谨逻辑及长周期探索的挑战，本文提出 MechMath 智能体团队（MMAT）。该系统采用解耦控制、执行与增强的三方架构，实例化知识库管理器、自然语言证明器与形式语言证明器三个专用智能体，形成闭环以生成形式化认证的数学证明。在数论等领域的开放问题上，MMAT 两个月内解决了 11 个难题，验证了其作为全流程科研副驾驶的能力。