陶哲轩访谈

陶哲轩对谈OpenAI高管：AI也能做数据稀疏推理，“也许很快OpenAI就能证明陶哲轩是错的” “也许很快OpenAI将能证明陶哲轩是错的。”好家伙！隔着屏幕都能闻到“硝烟”味了(bu shi~事情是这样的。数学大佬...

陶哲轩最新演讲：AI 将催生出一个大数学时代 AI 不是一种“魔法”，有时有点被夸大了。日前，菲尔茨奖获得者、华裔数学家、加州大学洛杉矶分校教授陶哲轩在牛津数学公开讲座中，探讨了人工智能（AI）在数学和科学领域中的潜力...

陶哲轩联手AI挑战经典ε-δ极限！加法秒杀、乘法翻车 数学大师陶哲轩的第三支Lean 4自动化数学证明视频来了！他携手GitHub Copilot挑战分析学经典的「ε-δ」极限问题：加法定理Copilot挥洒自如，减法...

陶哲轩全网悬赏「最强大脑」！AI+人类颠覆数学难题？凡尔赛网友已下场 想参加陶哲轩发起的「众包」数学研究项目吗？机会来了！...

陶哲轩转发！DeepMind开源「AI数学证明标准习题集」 陶哲轩转发，AI搞数学证明的标准习题集来了！DeepMind最新开源形式化数学猜想库——猜想库收录了经典的形式化表述的数学猜想集合，例如，解析数论中的四个朗道...

陶哲轩：AI让业余数学家也能做出贡献 AI影响之一是让业余数学家也能做出贡献。数学下一次文化转变在于AI生成的证明是否会被接受。很快会有个AI聊天机器人坐在你旁边。当你完成证明时，他可以回答问题，帮你解释每一步。...