Lean Copilot，让陶哲轩等众多数学家赞不绝口的这个形式化数学工具，又有超强进化了？

就在刚刚，加州理工教授Anima Anandkumar宣布，团队发布了Lean Copilot论文的扩展版本，并且更新了代码库。

最新实验表明，这个Copilot工具，可以自动化80%以上的数学证明步骤了！这个纪录，比以前的基线aesop还要好2.3倍。

并且，和以前一样，它在MIT许可下是开源的。

而对此做出巨大贡献的，是一位华人小哥宋沛洋，他是UCSB的荣誉CS本科生，加州理工学院计算+数学科学（CMS）系的SURF研究员。#AI探索计划#

论文地址：https://t.cn/A6Tnl66A
文章：https://t.cn/A6Tnl662

#权顺荣人间波浪号#✨ #权顺荣天生爱豆#
【240331】SEVENTEEN TOUR‘FOLLOW’AGAIN TO 仁川 Day2 饭拍高清

cr：mydear_anima
顺荣个人：_
荣吧回归&生日汇总https://t.cn/A6TI6Djj
的安利手册https://t.cn/A6KzqzEf
招新https://t.cn/A6pdbyD4
禁二改禁商用,转载请注明出处

#权顺荣人间波浪号#✨ #权顺荣天生爱豆#
【240331】SEVENTEEN TOUR‘FOLLOW’AGAIN TO 仁川 Day2 饭拍高清

cr：mydear_anima
顺荣个人：_
荣吧回归&生日汇总https://t.cn/A6TI6Djj
的安利手册https://t.cn/A6KzqzEf
招新https://t.cn/A6pdbyD4
禁二改禁商用,转载请注明出处