陶哲轩是当代最具代表性的数学家之一,菲尔兹奖得主,长期横跨调和分析、偏微分方程、数论、组合数学与数学物理等多个领域。2025年6月这期Lex Fridman播客里,他把那些最难的问题拉回到普通人也能进入的尺度,讲清楚数学家究竟在和什么样的未知较量。
这期内容从纳维-斯托克斯方程、无限、现实的本质,一路谈到万有理论、广义相对论、P=NP、孪生素数猜想与科拉茨猜想,也深入聊了 Lean、定理证明、AlphaProof,以及 AI 会怎样改变未来的数学研究。它真正有意思的地方,不只是难题本身,而是陶哲轩如何思考难题、拆解难题,并判断哪些方向值得投入一生。
全程中英双语字幕 · Opus精译 · 概念精校 · 术语统一。