151
1节目简介 / Shownotes 本期收录陶哲轩（Terence Tao）在 Science x AI Summit 2026（UC Riverside）期间，与女儿 Maddy 的一场对谈。
严肃数学家极少用「游戏」来形容自己的前沿工作，但陶哲轩在这期里反复提到的，正是「复活节寻蛋」这样的比喻。他试图回答一个朴素的问题：在 AI 与新技术已经准备好的今天，数学这门几百年没怎么变的学科，能不能向更多人敞开？
我们梳理了几个值得停留的瞬间：
为什么数学需要一场"21世纪升级" 数学长期是孤独的、纸笔的、慢的。新技术的意义，不只是算得更快，而是让没有博士训练的人也能贡献。
SAIR 怎么挑问题 好竞赛问题的标准很具体：能拆成模块、电脑好验证、进度能用一个数字衡量。
反伽罗瓦问题变成竞赛 与 LMFDB（L 函数与模形式数据库）合作，把16万个数学「图案」做成寻蛋清单。开局仅600个，现已完成约40%，百余人用代码、纸笔与 AI 共同参与。
给数学补上"实验"这一面 科学都有理论与实验两个侧面，数学却长期只有理论。竞赛让不同解法像药物试验一样被比较，这才是数学实验侧的雏形。
怎么参与未来的竞赛 SAIR 正在筹备正式选题征集，也向数学之外的学科敞开——只要问题模块化、好解释、易验证，就是候选。
「天文学让业余者发现彗星，生物学请公众收集蝴蝶，数学也该到这时候了」
如果你关心 AI for Science、公民科学，或单纯想听一位父亲如何向女儿解释自己的野心，这期值得一听。
#陶哲轩 #SAIR #AIforScience #数学 #公民科学 #SciencexAISummit
