陶哲轩宣告数学「浪漫时代」结束,迈入 AI 工业时代
krishnan · x · 2026-10-21
UCLA 数学教授陶哲轩(Terence Tao)在 Numberphile 播客访谈中表示,数学正在从「浪漫时代」进入「工业时代」——AI 工具只需简单提示就能解出数百道题,连他这样的顶尖学者也从亲自「英雄式」解题,变成筛选和验证 AI 生成的海量证明。
背景信息:
- 9 月初 OpenAI 宣布解出千禧年难题纳维-斯托克斯方程,在数学界引发震动;不少数学家抱怨模型虽解出答案却不展示推导过程,他们只能承担枯燥的验证工作。
- 本月早些时候 OpenAI 又宣称解出了另外 700 个未解问题,一位纽约大学数学教授向 CNBC 表达了不满。
陶哲轩称「我们正在进入一个激动人心的新时代,但有些东西正在失去」,认为数学将变得更大规模化、更工业化。
所属事件:陶哲轩：AI 让数学告别浪漫时代，迎来证明过剩(3 条相关)→
「漫话AGI」频道最新
- AI收入螺旋担忧：capex推高利率→VC退潮→SaaS削减token开支→死亡螺旋 — menhguin · 2026-10-21
- 数学家焦虑 AI 之际,一个讲述技术替代职业「人的代价」的推文长线 — soumitrashukla9 · 2026-10-21
- 「空白输入框的隐性成本」：当操作负担经由语言重新回到用户身上 — _AustinCalvert_ · 2026-10-21
- 作者补充「ARR 衔尾蛇」论：不是欺诈，而是用户群过度集中于 AI 圈内 — menhguin · 2026-10-21
- 「ARR 衔尾蛇」：VC 驱动的 AI 创业公司互卖工具撑起的营收泡沫 — menhguin · 2026-10-21
- 「AGI 就是绿灯戒环」：一张漫画梗图引发的能力畅想 — snowclipsed · 2026-10-21