arXiv ID:
2607.04394
arXiv 提交日期: 2026-07-05
MechMath 智能体团队:用于数学研究的大语言模型驱动智能体 / MechMath Agent Team: LLM Driven Agents for Mathematical Research
1️⃣ 一句话总结
该论文提出了一种由大语言模型驱动的多智能体系统(MMAT),通过将系统解耦为控制、执行和增强三个层次,并让知识库管理、自然语言证明和形式化证明三个智能体协同工作,成功解决了数论、代数复杂度理论等多个数学领域的11个开放问题,成为数学研究的有效智能助手。