清华校友用AI破解162个高数定理，智能体LeanAgent攻克困扰陶哲轩难题！

清华校友开发的LeanAgent AI智能体成功证明了162个未被证明的数学定理，涵盖多个复杂领域。相较于传统模型，LeanAgent性能提升11倍，具备卓越的终身学习能力，综合评分高达94%。这一突破展示了AI在数学定理证明领域的潜力。
来源：https://mp.weixin.qq.com/s/KrzgEPFj9vcu3hAYKlnZAw