Terence Tao：Math 2.0 [pdf]

Hacker News Top 事件
mathematics ai-assisted-proving terence-tao formal-methods lecture research

摘要

Terence Tao 分享了题为「Math 2.0」的 Caltech 2026 演讲幻灯片，探讨 AI 与形式化方法将如何改变数学研究与证明的未来。

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

缓存时间: 2026/10/11 15:40

无法翻译：你提供的内容是 PDF 文件的原始二进制数据（压缩的 FlateDecode 流、JPEG 图像数据等），已被严重乱码，不包含可读取的文本信息，因此无法进行翻译。 请改用以下方式之一提供内容： 1. 在 PDF 阅读器中打开 https://teorth.github.io/tao-web/slides/math-2-0-caltech-2026.pdf ，复制其中的文本粘贴给我； 2. 先将 PDF 转换为纯文本或 Markdown（例如使用 `pdftotext`、Adobe Acrobat 的"导出为文本"功能，或在线 PDF 转文本工具），再把转换后的文字发给我； 3. 如果文件中有图片形式的幻灯片，请描述或提供图片中的文字内容。 收到可读文本后，我会立即将其翻译成自然流畅的简体中文，并保留标题、列表、强调、行内代码和链接等格式。

相似文章

Terence Tao on How AI Is Changing Mathematics

YouTube AI Channels

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

Terrence Tao 评论

Reddit r/singularity

一篇关于数学家 Terrence Tao 评论的文章，内容可能涉及 AI、研究或数学实践。

Terence Tao Talks to Numberphile About AI

Reddit r/singularity

菲尔兹奖得主陶哲轩在 Numberphile 访谈中讨论数学正从"证明稀缺"走向"证明丰饶"的工业化时代，AI 公司与学术界的激励机制错位，以及人类理解被边缘化的风险。