@GaryMarcus：著名数学家陶哲轩关于AI与数学的精彩演讲，必读。关键点包括：(a) 我们面临风险…

X AI KOLs Following 新闻
ai-math terence-tao gary-marcus ai-limitations proof lecture

摘要

Gary Marcus 重点介绍了著名数学家陶哲轩关于人工智能与数学的讲座，指出其中提到的“证明消化不良”等风险，并认为AI可能只擅长某些数学任务，而非理论构建。

著名数学家陶哲轩关于AI与数学的演讲，精彩绝伦，必读。 关键点包括：(a) 我们面临“证明消化不良”的风险；并非每个证明都有用。(b) 数学并非单一均质（见下图），而AI可能擅长其中某些部分，但不能胜任全部。 与此一致（也与我昨天提出的观点一致），Astra（他写这篇文章时，Astra尚未发布）擅长解决某些类型的问题，但迄今没有证据表明它能构建新理论。 https://teorth.github.io/tao-web/slides/age-of-ai-icm-2026.pdf…
查看原文
查看缓存全文

缓存时间: 2026/08/04 14:13

杰出的数学家陶哲轩关于人工智能与数学的讲座，精彩绝伦，必读。

其中要点包括：(a) 我们面临“证明消化不良”的风险；并非所有证明都有用；(b) 数学不是均匀的（见下图），AI 可能擅长其中某些部分，但并非全部。

与此一致（也与我昨天所论述的相符），Astra（他的文章写于 Astra 发布之前）擅长解决某些类型的问题，但迄今为止没有证据表明它能构建新理论。

https://teorth.github.io/tao-web/slides/age-of-ai-icm-2026.pdf…

相似文章

Terence Tao on How AI Is Changing Mathematics

YouTube AI Channels

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