苏菲拉底 向最好的头脑提问
文库

Can AI Prove It? Terence Tao on “Big Math” and Our Theoretical Future | The Futurology Podcast

AI 能在多大程度上接管数学家的创造性工作?数学如何从个人英雄时代走向「大数学」协作? 节目发布 2026-01-20 陶哲轩 DDon Nakagawa
来源:https://www.youtube.com/watch?v=H1e7_qkKe64 · 内容由苏菲拉底翻译整理,仅供个人学习使用
本期讲者
陶哲轩UCLA数学教授,2006年菲尔兹奖得主,被广泛视为当代最杰出的数学家之一。以格林–陶定理、压缩感知等成果著称,近年致力于推动AI辅助、形式化验证与大规模众包协作数学。
Don Nakagawa《Futurology》播客主持人,也是该节目的执行制作人之一,节目聚焦科技与社会的未来议题。

这期还没有生成总结。

核心句型 · 9
1. as long as I can remember, I've always …
“Yeah, as long as I can remember, I've always liked math adjacent things.”
「从记事起就一直…」:时间状语从句搭配现在完成时,谈论长期爱好、习惯或性格特点的地道开头,比 since I was young 更生动。
2. it's not about … but (about) …
“It's not about people individually creating genius ideas out of nothing but you know understanding what other people did”
否定加转折的对比结构,用于纠正常见误解、重新定义事物本质。议论中先破后立的观点句常用此框架。
3. If you're …, you're in trouble. But if you're …, you just …
“If you're a mathematician and you ask to solve this equation and your solution doesn't work, you just start over”
平行假设句制造对比(工程师失败有代价,数学家失败可重来),排比加反转是口语论证中突出差异的利器。
4. either … or …, but in either case …
“Either the primes have a lot of structure or they're very random. But in either case, we could prove that…”
二分穷举论证:先列出两种对立可能,再说明无论哪种都导向同一结论。写严密说理或风险分析时可直接套用。
5. What has changed … is …
“What has changed in the last 50 years is scale”
wh- 分裂句把信息焦点后置,强调「真正变化的是什么」。比 Scale has changed 更有力,适合总结性判断。
6. … to the extent where …
“It somehow increases your math ability in weird ways to the extent where so this phenomenon called rubber ducking”
表示程度之深以致出现某种结果,相当于书面化的 so…that;后接 where/that 从句引出具体表现。
7. while you solve one problem, you create …
“It means that while you solve one problem you create new responsibilities”
while 引导让步对比:解决旧问题的同时带来新问题。讨论技术双刃剑、政策副作用类话题的万能句式。
8. it comes at the expense of …
“That's basically what we're doing now which but it comes at the expense of starting new things”
「以牺牲…为代价」:讨论权衡取舍的高频搭配,主语通常是某种做法或收益,后接被牺牲的对象。
9. the moment …, …
“The moment the power goes out or something they could be in real trouble”
the moment 引导时间从句等于 as soon as,表「一旦…就…」,比 if 从句更具画面感和紧迫感。
本期生词 · 139
worldrenowned /ˌwɜːrldrɪˈnaʊnd/ adj. 0:00
举世闻名的(规范拼写 world-renowned)
forefront /ˈfɔːrfrʌnt/ n. 0:00
最前沿(at the forefront of 处于…最前沿)
thrives /θraɪvz/ v. 0:00
茁壮成长;大放异彩(thrive)
leapfrog /ˈliːpfrɑːɡ/ v. 0:00
跨越式超越(本义为跳背游戏)
tedious /ˈtiːdiəs/ adj. 1:04
冗长乏味的、繁琐的
human intervention phr. 1:04
人工介入、人为干预
giftedness /ˈɡɪftɪdnəs/ n. 2:34
(智力)天赋、资优
crowdsourced /ˈkraʊdsɔːrst/ adj. 4:22
众包的(向大众公开征集贡献的)
on the fly phr. 5:56
临时地、边做边想地
improvisational /ɪmˌprɑːvəˈzeɪʃənl/ adj. 5:56
即兴的、随机应变的
scale /skeɪl/ v. 5:56
可规模化推广(it didn't scale 无法复制推广)
jumbled /ˈdʒʌmbld/ adj. 6:48
杂乱的、顺序打乱的
open-ended /ˌoʊpən ˈendɪd/ adj. 7:50
开放式的、无固定答案的
restless /ˈrestləs/ adj. 8:26
坐立不安的、闲不住的
mental arithmetic phr. 8:26
心算、口算
bliss /blɪs/ n. 8:26
极乐、至福
toy models phr. 9:24
玩具模型(高度简化、用于获得洞察的理论模型)
instructive /ɪnˈstrʌktɪv/ adj. 9:24
有启发性的、有教益的
balance the books phr. 10:22
结账、使账目平衡
revelation /ˌrevəˈleɪʃn/ n. 10:22
令人恍然大悟的发现;启示
vice versa /ˌvaɪs ˈvɜːrsə/ adv. 11:18
反之亦然
jealously guarded phr. 12:13
严密守护的、秘不外传的
scooped /skuːpt/ v. 12:13
被抢先发表(be scooped 成果被人捷足先登)
definitive /dɪˈfɪnətɪv/ adj. 12:13
最终的、定论性的
dip our toe into phr. 13:10
初步尝试、试水
archetype /ˈɑːrkitaɪp/ n. 13:10
原型、典型形象
tortured genius phr. 13:10
备受折磨的天才(文化刻板形象)
steeped in phr. 14:08
沉浸于、深受…熏陶
layman's terms phr. 15:25
外行能懂的话(in layman's terms 用通俗的话说)
multifaceted /ˌmʌltiˈfæsɪtɪd/ adj. 15:25
多方面的、多元的
divisible /dɪˈvɪzəbl/ adj. 16:20
可整除的
discernable /dɪˈsɜːrnəbl/ adj. 16:20
可辨别的、可察觉的(规范拼写 discernible)
conjecture /kənˈdʒektʃər/ n. 16:49
猜想(未被证明的数学命题)
unbounded /ʌnˈbaʊndɪd/ adj. 16:49
无界的、无限的
arithmetic progression phr. 16:49
等差数列
dichotomy /daɪˈkɑːtəmi/ n. 17:43
二分法、两分对立
pacifist /ˈpæsɪfɪst/ n. 19:33
和平主义者
abhored /əbˈhɔːrd/ v. 19:33
憎恶、痛恨(规范拼写 abhorred)
boasted /ˈboʊstɪd/ v. 19:33
夸耀、自诩
cryptographic /ˌkrɪptəˈɡræfɪk/ adj. 19:33
密码学的、加密的
instrumental /ˌɪnstrəˈmentl/ adj. 19:33
起关键作用的(be instrumental in)
anonymize /əˈnɑːnəmaɪz/ v. 19:33
使匿名化
back door phr. 20:27
(安全系统中的)后门、暗道
anthropomorphize /ˌænθrəpəˈmɔːrfaɪz/ v. 21:36
拟人化
crack it phr. 23:21
破解、攻克(难题)
screw up phr. 24:10
搞砸、弄糟
behind closed doors phr. 24:55
关起门来、私下里
imposter syndrome phr. 25:55
冒充者综合征(觉得自己名不副实的心理)
dead ends phr. 25:55
死胡同、走不通的路
byproduct /ˈbaɪprɑːdʌkt/ n. 25:55
副产品、附带结果
cumulative /ˈkjuːmjəleɪtɪv/ adj. 26:50
累积的、渐增的
toss out phr. 27:41
(随口)抛出(想法)
nudge /nʌdʒ/ v. 27:41
轻推;使微微推进
shoving /ˈʃʌvɪŋ/ v. 27:41
用力推、猛推(shove)
rubber ducking phr. 29:04
小黄鸭调试法(向物体讲解问题以理清思路)
verbalizing /ˈvɜːrbəlaɪzɪŋ/ v. 29:04
用言语表达出来(verbalize)
wavelength /ˈweɪvleŋθ/ n. 29:55
波长;on your wavelength 与你思路合拍
in tune phr. 29:55
合拍、默契一致
subscribe to phr. 31:01
赞同、信奉(观点、理念)
flashy /ˈflæʃi/ adj. 31:01
炫目的、抓眼球的
showman /ˈʃoʊmən/ n. 31:01
有表演欲/善于制造效果的人
redundancy /rɪˈdʌndənsi/ n. 31:59
冗余、重复浪费
apprentice /əˈprentɪs/ n. 31:59
学徒
guildsman /ˈɡɪldzmən/ n. 31:59
行会工匠、行会成员
futilely /ˈfjuːtəlli/ adv. 33:00
徒劳地、白费力地
disclosed /dɪsˈkloʊzd/ v. 33:00
披露、公开(disclose)
replicate /ˈreplɪkeɪt/ v. 33:52
复现、重复(实验或结果)
slick /slɪk/ adj. 34:50
精致顺滑的、体验流畅的
barrier to entry phr. 35:22
准入门槛
friction /ˈfrɪkʃn/ n. 35:22
摩擦;(喻)使用中的阻力、不便
caveat /ˈkæviæt/ n. 35:22
警示、限制条件、但书
abacus /ˈæbəkəs/ n. 35:59
算盘
brute force phr. 37:02
蛮力(穷举式、不讲技巧的计算方式)
tick off phr. 37:02
逐项核对、打勾
hard core phr. 37:59
最难啃的核心部分(此处指剩下的最难的100题)
finishing off phr. 37:59
完成收尾、解决掉
pilot project phr. 38:33
试点项目
menial /ˈmiːniəl/ adj. 39:31
琐碎低阶的、无需技能的(menial tasks 杂活)
offload /ˌɔːfˈloʊd/ v. 39:31
卸下、转嫁(负担、工作)
proficient /prəˈfɪʃnt/ adj. 40:07
精通的、熟练的
bite-sized /ˈbaɪtsaɪzd/ adj. 40:07
一口大小的;(喻)易于处理的小块
sea change phr. 40:51
翻天覆地的变化、根本性转变
cohort /ˈkoʊhɔːrt/ n. 41:52
一批、一组(同类对象或人群)
residual /rɪˈzɪdʒuəl/ adj. 41:52
残余的、剩下的
escalate /ˈeskəleɪt/ v. 41:52
上报、升级(问题交给更高层处理)
rubbish /ˈrʌbɪʃ/ n. 42:21
垃圾;无价值的东西(英式口语)
lead you astray phr. 42:59
把你引入歧途、带偏
mining /ˈmaɪnɪŋ/ v. 43:34
挖掘(信息、数据)(mine)
blow us away phr. 43:34
令我们大为震撼、惊艳
transformative /trænsˈfɔːrmətɪv/ adj. 43:34
变革性的
cognitive load phr. 45:01
认知负荷(心理学术语)
skyrocketed /ˈskaɪrɑːkɪtɪd/ v. 45:01
飙升、猛涨(skyrocket)
famines /ˈfæmɪnz/ n. 45:01
饥荒
eating disorders phr. 45:50
饮食失调(症)
obesity /oʊˈbiːsəti/ n. 45:50
肥胖(症)
peasant /ˈpeznt/ n. 45:50
(传统农业社会的)农民
analogously /əˈnæləɡəsli/ adv. 46:22
以类似的方式、类比地
scarcity /ˈskersəti/ n. 46:22
稀缺、匮乏
exacerbate /ɪɡˈzæsərbeɪt/ v. 46:22
加剧、使恶化
bottleneck /ˈbɑːtlnek/ n. 47:21
瓶颈、制约因素
welloiled /ˌwelˈɔɪld/ adj. 47:21
润滑良好的;运转顺畅的(规范拼写 well-oiled)
niche /nɪtʃ/ adj. 49:07
小众的、细分的
juggling /ˈdʒʌɡlɪŋ/ n. 49:07
杂耍抛球
critique /krɪˈtiːk/ v. 49:40
批判性评析、评论
reinstating /ˌriːɪnˈsteɪtɪŋ/ v. 50:17
恢复、重新启用(reinstate)
obsolete /ˌɑːbsəˈliːt/ adj. 50:17
过时的、被淘汰的
tsunami /tsuːˈnɑːmi/ n. 50:55
海啸;(喻)铺天盖地的冲击
governance /ˈɡʌvərnəns/ n. 50:55
治理、管治
trailing behind phr. 50:55
落在后面、跟不上
onslaught /ˈɑːnslɔːt/ n. 51:51
猛烈冲击、狂潮
hostile /ˈhɑːstl/ adj. 51:51
怀有敌意的
knock-on effects phr. 51:51
连锁反应、间接影响
fluctuate /ˈflʌktʃueɪt/ v. 51:51
波动、起伏
fiscal year phr. 52:53
财政年度
scramble /ˈskræmbl/ v. 52:53
仓促行动、手忙脚乱地应对
abrupt /əˈbrʌpt/ adj. 52:53
突然的、毫无过渡的
mitigation /ˌmɪtɪˈɡeɪʃn/ n. 52:53
缓解、减轻(damage mitigation 损害控制)
firefighting /ˈfaɪərfaɪtɪŋ/ n. 52:53
救火;(喻)疲于应付紧急状况
barring /ˈbɑːrɪŋ/ prep. 53:54
除非发生、若无(barring some circumstances)
morale /məˈræl/ n. 54:39
士气
course correction phr. 54:39
纠偏、路线修正
at stake phr. 54:39
利害攸关、成败在此一举
at the expense of phr. 55:17
以牺牲…为代价
desperation /ˌdespəˈreɪʃn/ n. 55:17
走投无路、孤注一掷
superficially /ˌsuːpərˈfɪʃəli/ adv. 55:50
表面上、肤浅地
honed /hoʊnd/ v. 55:50
磨炼、精进(hone the art of …)
ivory tower phr. 56:47
象牙塔(脱离现实的学术环境)
proprietary /prəˈpraɪəteri/ adj. 57:47
专有的、私有的(不对外公开的)
teething issues phr. 57:47
初期磨合问题(本义为婴儿长牙的不适)
civic /ˈsɪvɪk/ adj. 58:42
公民的、公共事务层面的
research arms phr. 58:42
研究部门(arm 指机构的分支)
spooky /ˈspuːki/ adj. 59:26
瘆人的、令人发毛的
elusive /ɪˈluːsɪv/ adj. 60:14
难以捉摸的、难以企及的
cobble together phr. 60:14
草草拼凑而成
improvise /ˈɪmprəvaɪz/ v. 61:16
即兴发挥、即席创作
rehearsed /rɪˈhɜːrst/ adj. 61:16
排练过的、事先准备好的
formulaic /ˌfɔːrmjəˈleɪɪk/ adj. 62:12
公式化的、套路化的
autopilot /ˈɔːtoʊpaɪlət/ n. 62:12
自动驾驶;on autopilot 下意识地、机械地
disorienting /dɪsˈɔːrientɪŋ/ adj. 63:16
令人迷失方向的、让人无所适从的
理解自测 · 8 题
1. 陶哲轩最著名的成果是什么?内容是什么?

格林–陶定理(2004年与Ben Green合作证明):素数中存在任意长度的等差数列(见第19-22段)。

2. 他们证明该定理的核心策略是什么?

「结构与随机性二分法」:无论素数分布偏结构还是偏随机,两种情形都能推出等差数列存在,因此结论必然成立(第22段)。

3. 哈代自夸数论「不可能有应用、不能作恶」,为何被历史反转?

素数的性质如今是大多数密码算法的基础,互联网上的加密交易都靠素数运算打乱数据(第24段)。

4. 陶用什么类比来说明AI对人类认知的风险?结论是什么?

绿色革命的营养类比:食物充裕带来肥胖,人们才需要刻意节食锻炼;AI解决「认知稀缺」后,人也需要「心智饮食」和「心智锻炼」——解决一个问题会创造新的责任(第56-58段)。

5. 陶如何评估当前AI在数学研究中的实际水平?

AI给出的想法一半以上是垃圾,约20%的情况能提出有价值的观察;它擅长挖掘文献、批量清扫问题,但自主证明高深定理仍需专家把关,非专家反而容易被带偏(第52-54段)。

6. 关于经费削减,陶认为最大的伤害是什么?

不是削减本身,而是确定性与信任的丧失:无法跨财年预算、不能向研究生保证工资,机构风险偏好归零、不敢启动实验性项目(第65-69段)。

7. 数学与工程、医学等学科相比,在教育上有什么独特价值?

数学中失败几乎零成本,是少数可以安全尝试「蠢办法」并从失败中学习的领域,而学生在其他领域被教育「不能失败」(第29段)。

8. AI的成功让陶对「智能」得出什么反思?

LLM逐词预测看似不像智能,但人类即兴说话也是如此——也许人类智能比我们以为的更套路化;AI提供了一个可客观研究的参照,最终会改变我们对智能乃至对自我的定义(第75-78段)。

苏菲拉底 向最好的头脑提问 · ASK THE BEST MINDS 私享文库 · 内容仅供个人学习