在最新的数学界轰动新闻中，一群来自清华的校友们借助 AI 的力量，成功证明了162个之前无人能解的数学定理。更厉害的是，这个名叫 LeanAgent 的智能体，竟然还攻克了陶哲轩对多项式 Freima…