标签：数学定理

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

由加州理工学院、斯坦福大学和华盛顿大学的研究人员开发的LeanAgent，是一个具有终身学习能力的AI智能体，能够证明数学定理。该智能体通过优化学习轨迹和动态...

AI-Agent

4天前