【ITBEAR科技资讯】4月23日消息,近日,加州理工教授Anima Anandkumar宣布,其团队已经发布了Lean Copilot论文的扩展版本,并对代码库进行了更新。该论文中介绍的Copilot工具,现在能够自动化完成80%以上的数学证明步骤,这一成绩较之前的基线aesop提升了2.3倍。该工具在MIT许可下保持开源。 这一重大进展的背后,是一位华人小哥宋沛洋的杰出贡献。他是UCSB的荣誉CS本科生,同时也是加州理工学院计算+数学科学(CMS)系的SURF研究员。网友们对此纷纷表示赞叹,甚至有人戏言,陶哲轩…