清华推出AI数学家!独立完成数学理论难题,自动调用基本定理、构建证明思路

清华大学AIM团队推出AI Mathematician(AIM)框架,能够求解前沿理论研究并证明完成度高。通过探索、验证和修正模块,成功解决量子算法问题、吸收边界条件等问题。未来将通过改进机制提升能力。