清华AIM团队 投稿 量子位 | 公众号 QbitAI AI数学家 来了！清华团队出品—— 他们推出 AI Mathematician（AIM）框架 ，推理模型也能求解前沿理论研究，并且证明完成度很高。 比如一道吸收边界条件问题。这是分析中涉及方程的经典理论问题，通过构造人工边界得到较为精确的近似解。 AIM部分求解过程如下： AIM给出了方程的能量估计，这是求解这个问题的关键的中间结论。它不仅正确推导了这个结论，在后续证明中加以运用。 这是AIM对于方程的近似解的构造和存在唯一性的证明过程。尽管部分运算细节并没有展示出来，但是这里的证明思路和定理运用都是正确 的，也得到了整个问题中的关键结论。 本次成果的作者包括刘远航、黄砚星、王彦桥、李鹏、刘洋，其中刘远航、黄砚星、王彦桥为论文共同第一作者。 AIM数学家智能体 传统大语言模型在数学领域的突破长期局限于竞赛级问题，LRMs快速发展的数学推理能力也让人类数学工作者期待可以使用大模型进行前沿 数学研究。 当前数学理论的研究主要有以下两大挑战： 数学研究的证明内容需要经过严格验证和精确的分析，而自然语言证明的评估一直缺乏有效方法。 基于此，AIM框架首次将LRM ...