neng8科技快讯网AI人工智能前沿资讯_汽车数码相机评测_手机电脑硬件百科

陶哲轩最新演讲：AI 将催生出一个大数学时代

AI 不是一种“魔法”，有时有点被夸大了。

日前，菲尔茨奖获得者、华裔数学家、加州大学洛杉矶分校教授陶哲轩在牛津数学公开讲座中，探讨了人工智能（AI）在数学和科学领域中的潜力，以及它将如何与人类的智力协同作用，推动一个全新的数学时代。

陶哲轩转发！DeepMind开源「AI数学证明标准习题集」

陶哲轩转发，AI搞数学证明的标准习题集来了！

DeepMind最新开源形式化数学猜想库——

猜想库收录了经典的形式化表述的数学猜想集合，例如，解析数论中的四个朗道问题。

陶哲轩转发、菲尔兹奖得主领衔：AI正在颠覆数学家的工作方式 | 美国数学学会特刊

陶哲轩点赞转发，《美国数学学会通报》用一整期特刊介绍了AI给数学带来的改变。

这些文章读起来很有趣，尽管使我自己即将发表的一篇文章显得多余……这个领域发展太快了！