数学的危机时刻：机器一口气证掉七百个难题之后，人类还剩什么
Lex Fridman 录了一期「紧急专题」：节目称过去一个月 Anthropic 放出 1300 万行 Lean 形式化的费马大定理证明，OpenAI 又一次性公布约 700 篇机器证明，含准黎曼假设、唯一游戏猜想与纳维-斯托克斯受迫爆破反例。三位数学家谈恐惧与机会：机器靠组合已知技巧而非新思想解题，正确性可由 Lean 验证但理解无法外包；职业蓝图、审稿制度与奖项体系承压，提问、建模与设计验证体系成为人的新角色。
Lex Fridman
黄仁勋陪逛台北夜市：从「卖核」到「卖token」的算力经济学，与台积电三十年前那通电话
Lex Fridman 首访台湾、逛 Computex 与夜市的 vlog 式访谈：黄仁勋在展台讲清新一代系统 100% 液冷、Vera CPU 对 x86 的 1.8 倍，以及「x86 按核出租、AI 卖 token」的商业模式切换。核心干货有两块：一是出口管制之辩——黄仁勋主张「极端挑剔地管制 + 保住技术-财富飞轮」，认为繁荣而非封锁才是长期国家安全；二是 1996 年他如何用黄页打电话找不到台积电、张忠谋晚上六点半回电，以及「选伙伴而非买产品」的松散契约哲学。