陶哲轩,数学界的“活传奇”,被誉为“数学界的莫扎特”。他2岁识字,9岁上大学,20岁拿下博士学位,31岁获得数学界最高荣誉——菲尔兹奖。现为美国加州大学洛杉矶分校(UCLA)数学教授。他的研究跨越数论、调和分析、偏微分方程、组合数学、算术几何、随机矩阵理论和数学逻辑,堪称“全地形数学家”。
陶哲轩的魅力不仅在于成果数量惊人,更在于他能将看似无关的数学分支联结成统一结构。他提出的“结构-随机性二分法”对理解伪随机序列和等差数列结构具有深远影响;他还在偏微分方程领域构建出对Navier-Stokes方程爆破的“平均模型”,为解决千禧年难题之一提供了新路径。他同时是AI辅助证明和协作数学的推动者,致力于构建人机共生的数学未来。
00:00:56 Kakeya问题如何吸引了他的研究兴趣
00:02:29 三维旋转与最小体积问题的物理启发
00:05:55 Navier-Stokes问题为何让数学家困惑
00:07:05 能量聚集与“有限时间爆破”的可能性
00:09:24 靠“改写物理定律”制造爆破模型
00:10:50 方程的超临界性决定预测能力
00:13:48 液体逻辑门与“水力计算机”的构想
00:20:24 涌现结构必须通过“工程初始条件”获得
00:21:03 结构 vs 随机性的数学判断标准
00:23:31 无限猴子定理与等差数列的奇妙连接
00:26:29 为什么数学要把“无限”转换为“有限”
00:28:34 数学也有“实验派”:用AI做实验数学
00:31:02 模型、现象与现实三层结构的哲学思考
00:33:27 普适性:为何自然界偏爱高斯分布
00:36:33 统一数学领域:我偏爱当“狐狸型”数学家
00:39:13 美感来源于“极端证明”与写作风格
00:41:29 欧拉恒等式背后隐藏的几何-动态统一
00:43:42 量子力学也遵循哈密顿结构与守恒定律
00:45:03 相信万有理论存在,只是语言尚未成熟
00:47:20 科学越发展,越需要脱离直觉的抽象
00:48:55 用“规变技巧”解决波映射方程中的奇点
00:51:23 用“战略性作弊”一次解决一个难点
00:53:24 AI如何让数学可视化更高效、更自然
01:00:32 如何用结构分析识别数列的“伪随机性”
01:03:10 数学的“结构-噪声”理论框架是怎么来的
01:06:42 布尔函数分析为何在AI时代越来越重要
01:09:18 高维空间里的直觉会彻底失效
01:13:00 为什么“数学世界”有时比物理更干净
01:15:45 数学家如何在黑板前捕捉“灵光一现”
01:18:29 ChatGPT之类AI如何改变数学研究节奏
01:21:04 未来数学证明可能由人机合作共同完成
01:25:00 AI辅助证明如何提升人类的可验证性
01:28:12 大模型并非“黑盒”,也能建立可解释系统
01:32:08 AI在代数几何领域的实验性探索
01:35:45 从图神经网络到范畴论:数学家也在学AI
01:39:20 未来可能出现“数学发现”的新范式
01:42:50 数学家需重新定义“原创”与“理解”
01:46:15 大规模协作数学:Lean项目的启示
01:49:40 数学证明的开放性与共建机制会成主流
01:52:18 我们正迈入一个“AI科学家”共存的时代
01:55:33 如何避免AI带来“数学的自动化危机”
01:59:05 最终目标:人类与AI共同攀登数学之巅
音频时长小于英文播客,内容无删减、是因中文表达效率和AI生成音频节奏更连贯所致。本期主持人使用狗头老王声音素材。内容引用自英文播客Lex Fridman,原始版权归Lex Fridman所有。感谢原作者和学者的精彩分享,本节目非商业用途。感兴趣可支持原播客,节目链接:Terence Tao:Hardest Problems in Mathematics, Physics & the Future of AI | Lex FridmanPodcast #472 - YouTube

