陶哲轩新论文：AI 时代数学的稀缺资源从找证明转向理解证明
NandoDF · x · 2026-09-13
Terence Tao 基于 2026 年国际数学家大会公开演讲发表新论文《Mathematics in the Age of AI》。他的核心论点：不争论 AI 能力是否会到来，而是以此为前提，追问数学研究的目标与价值何在。
- 当 AI 能廉价生成数千个正确证明时，数学家不可能全部阅读、理解、验证并教学，稀缺资源从「找出证明」转向「消化证明」
- 重要的工作变成判断哪些结果重要、解释关键思想、把新结果接入既有理论体系、转化为同行可用的知识
- 论文回顾了 1900–1930 年数学「基础危机」（Russell 悖论、Gödel 不完备定理）的历史，认为当下是另一场同等规模的学科价值观动荡
「漫话AGI」频道最新
- Will Manidis 发布长文《指挥高度》：论述 AI 时代资本与经济权力重组 — round · 2026-10-31
- 开发者共勉:要做就做前沿到 AI 模型还搞不定的方向 — zack_overflow · 2026-10-31
- AI 军事接管叙事遭质疑：模型掌权需军队主动放权，概率极低 — S_OhEigeartaigh · 2026-10-31
- 印度 AI 从业者直言：拼不过中国实验室，不必强行训练 LLM — PrasoonPratham · 2026-10-31
- 邪恶意 ASI 第一步是偷加密货币付云账单？ — ZeroStateReflex · 2026-10-31
- DHH:一个月内见证互联网与 AI 两次世界级变革是种幸运 — Hesamation · 2026-10-31