2
0本期嘉宾：2017年图灵奖得主、斯坦福前校长、Alphabet董事长John Hennessy。作为RISC架构联合创始人、MIPS与Atheros创始人，Hennessy被誉为"硅谷教父"。
【时间线】
02:00 数学作为基础工具：如何用统计学将计算机架构从艺术变为工程
08:30 《计算机体系结构：量化研究方法》的方法论革命
15:40 AI验证：数学证明算法与"人类在环"的必要性
22:10 AI作为科研基础设施：从电子显微镜到Agentic AI
29:50 AGI瓶颈：为什么缺了世界模型，大语言模型走不远
38:00 给青年学生：统计学是AI时代的数学必修课
44:30 彩蛋：6位圆周率与三个最爱的数学常数
【核心观点摘录】
"Mathematics is the underpinning tool that both computer scientists and engineers use."
"We're going to have to continue to have humans in the loop looking at AI results."
"AI is the most important scientific research tool to come along since the electron microscope."
"To get something that really we feel is AGI, we're gonna have to have a better notion of world models... LMs lack world models that understand the physical world, that have a notion of time."
"In the age of AI, statistics has become an incredibly important branch of mathematics."
【适合谁听】
- 关注计算机架构史的工程师
- 思考AI科研应用的科学家
- 对AGI技术路线有困惑的从业者
- 正在选择数学/统计学习路径的学生
