陶哲轩新论文：AI 时代数学的稀缺资源从找证明转向理解证明
NandoDF · x · 2026-09-13
Terence Tao 基于 2026 年国际数学家大会公开演讲发表新论文《Mathematics in the Age of AI》。他的核心论点：不争论 AI 能力是否会到来，而是以此为前提，追问数学研究的目标与价值何在。
- 当 AI 能廉价生成数千个正确证明时，数学家不可能全部阅读、理解、验证并教学，稀缺资源从「找出证明」转向「消化证明」
- 重要的工作变成判断哪些结果重要、解释关键思想、把新结果接入既有理论体系、转化为同行可用的知识
- 论文回顾了 1900–1930 年数学「基础危机」（Russell 悖论、Gödel 不完备定理）的历史，认为当下是另一场同等规模的学科价值观动荡
「漫话AGI」频道最新
- 超级智能治理之争:道德演进该集中决策还是分布式+退出权 — voooooogel · 2026-09-13
- 观点:AI「独立评估者」将成全球最有权势的人 — cgarciae88 · 2026-09-13
- whurley 批 AI 安全讨论：实为监管俘获，意在封杀开源权重模型 — whurley · 2026-09-13
- 「扩散现有 AI 能力」的生意正当其时:deploy, deploy, deploy — annbordetsky · 2026-09-13
- 前 Google 量子计算负责人称大厂已实现 RSI,欲固化为智力卡特尔 — beffjezos · 2026-09-13
- 网友晒图担忧 AI「反乌托邦分叉」，列开源 AI 面临的五大悬念 — EddyVGG · 2026-09-13