菲尔兹奖得主陶哲轩ICM 2026演讲《数学在AI时代》现已上线YouTube

Reddit r/ArtificialInteligence 新闻

摘要

陶哲轩的ICM 2026讲座《数学在AI时代》已上传至YouTube,探讨了AI、形式化验证和协作平台如何改变数学实践,同时也指出了它们目前的局限性。

暂无内容
查看原文
查看缓存全文

缓存时间: 2026/08/13 21:26

# 菲尔兹奖得主陶哲轩在ICM 2026上的演讲:“人工智能时代的数学”现已在YouTube上线 **频道:** coldstar 来源:https://www.youtube.com/watch?v=M0--ZH1lOzg ## 简介 人工智能时代的数学 ~ 当前的人工智能工具,在与形式化验证和现代协作平台相结合后,正在催生以规模化方式开展数学研究的新途径,使得专业数学家、其他科学家、公众以及人工智能工具之间的合作日益广泛。然而,这些工具对于更传统的数学目标,例如在个别高难度问题上取得突破,其影响仍然有限。本讲座将综述这些新范式近期取得的成就,以及它们依然存在的局限性。

相似文章

Terence Tao on How AI Is Changing Mathematics

YouTube AI Channels

数学家陶哲轩认为AI正在降低数学研究中的认知摩擦,使实验和大胆想法成为可能,并有望成为主流工具;他还预测未来数学发表将分享探索路径而非仅最终结果。