陶哲轩最新演讲：AI 将催生出一个大数学时代
AI 不是一种“魔法”，有时有点被夸大了。
日前，菲尔茨奖获得者、华裔数学家、加州大学洛杉矶分校教授陶哲轩在牛津数学公开讲座中，探讨了人工智能（AI）在数学和科学领域中的潜力，以及它将如何与人类的智力协同作用，推动一个全新的数学时代。
陶哲轩联手AI挑战经典ε-δ极限！加法秒杀、乘法翻车
数学大师陶哲轩的第三支Lean 4自动化数学证明视频来了！他携手GitHub Copilot挑战分析学经典的「ε-δ」极限问题：加法定理Copilot挥洒自如，减法开始卡壳，乘法更是全面失控。Copilot究竟是神助攻还是添乱？
数学大师陶哲轩的AI新实验来了！
这次是Lean 4自动化数学证明的第三支视频。
主要看看GitHub Copilot在处理分析学经典的「ε-δ」问题（描述函数极限的经典方法）时，效果究竟如何。
陶哲轩全网悬赏「最强大脑」！AI+人类颠覆数学难题？凡尔赛网友已下场
想参加陶哲轩发起的「众包」数学研究项目吗？
机会来了！
陶哲轩转发！DeepMind开源「AI数学证明标准习题集」
陶哲轩转发，AI搞数学证明的标准习题集来了！
DeepMind最新开源形式化数学猜想库——
猜想库收录了经典的形式化表述的数学猜想集合，例如，解析数论中的四个朗道问题。
陶哲轩：AI让业余数学家也能做出贡献
AI影响之一是让业余数学家也能做出贡献。
数学下一次文化转变在于AI生成的证明是否会被接受。
很快会有个AI聊天机器人坐在你旁边。当你完成证明时，他可以回答问题，帮你解释每一步。
