LeanAgent破解162个高数定理，希望攻克困扰陶哲轩难题！

清华校友利用AI智能体LeanAgent证明了162个未解的高等数学定理，显示AI在科学研究中的潜力；LeanAgent采用终身学习策略，能够持续吸收新知识而不忘记旧知识，表现出对复杂数学问题的适应能力；尽管取得显著进展，AI在解决陶哲轩的Freiman-Ruzsa猜想等高级数学问题上仍存在限制。