菲尔兹奖得主陶哲轩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 ## 简介 人工智能时代的数学 ~ 当前的人工智能工具,在与形式化验证和现代协作平台相结合后,正在催生以规模化方式开展数学研究的新途径,使得专业数学家、其他科学家、公众以及人工智能工具之间的合作日益广泛。然而,这些工具对于更传统的数学目标,例如在个别高难度问题上取得突破,其影响仍然有限。本讲座将综述这些新范式近期取得的成就,以及它们依然存在的局限性。

相似文章

AI时代的数学

Hacker News Top

由Terence Tao撰写的一篇文章,探讨数学界应如何回应能够执行研究级任务的AI工具,重点澄清数学研究的隐含目标和价值观。

人工智能在数学领域的严重错位

Lobsters Hottest

一群菲尔兹奖得主,包括Terry Tao,发表声明,强调人工智能公司在使用AI解决数学问题时,其目标与数学界的价值观之间存在严重错位。