本期嘉宾：2017 年图灵奖得主、斯坦福前校长、Alphabet 董事长 John Hennessy。作为 RISC 架构联合创始人、MIPS 与 Atheros 创始人，Hennessy 被誉为 "硅谷教父"。 【时间线】 02:00 数学作为基础工具：如何用统计学将计算机架构从艺术变为工程 08:30 《计算机体系结构：量化研究方法》的方法论革命 15:40 AI 验证：数学证明算法与 "人类在环" 的必要性 22:10 AI 作为科研基础设施：从电子显微镜到 Agentic AI 29:50 AGI 瓶颈：为什么缺了世界模型，大语言...