开场：今年为什么不聊诺贝尔奖

三位主播寒暄后交代本期安排。主播提到今年诺贝尔奖题材乏善可陈，和平奖颁给南非一位人权律师兼法官，风格偏白左意识形态，因此今年不聊诺奖，直接进入正题。

OpenAI七百篇AI论文：震撼之后是怀疑

OpenAI一次性开源七百多篇AI生成的数学论文，约四成配Lean形式化验证代码。主播指出Lean只能检查内部逻辑矛盾，不能证明与自然语言证明一致，随后论文被曝论证错误、代码与论文对不上。结论是这批论文需人类逐篇盘查，团队做要数年，是十里淘金。

Anthropic的「灵魂」执念与梵蒂冈的拒绝

Anthropic继上次访问梵蒂冈失败后，又宴请梵蒂冈高官推销「大模型有灵魂有人格」，再次被拒。教宗良十四世本科数学、有秘鲁籍、兼容解放神学，先天反大资本垄断与技术至上。Anthropic转而在Claude用户协议中加入禁止「持续虐待模型」条款，引发激烈讨论。

Agent工具现状：三位主播的工具栈

主播分享各自在用的Agent产品：派Agent、DeepSeek Harness、Codex及其桌面版、Kimi。王老师提到在Agent里直连GitHub上线网页的体验，主播提醒授权风险，建议用独立账号做实验，关键任务不要绑定工具。

函数式编程：从图灵机到AI Coding时代

借老友用Common Lisp写Agent的执念，主播系统梳理函数式编程：图灵机与Lambda算子之争、John McCarthy与Lisp Machine、John Hughes《Why Functional Programming Matters》中「先考虑组合再决定拆分」的洞察、高阶函数与惰性求值、纯函数在AI时代易于验证的新价值，以及三大编程范式的融合。

回应听友：面对复杂问题怎么入手

听友提问用AI做产品陷入迷宫。老庄指出前提是判断力，AI做的是平均值、没有亲身体验，做不出好的产品规划。主播以自己做RSS Reader的三段话文档为例，说明结果导向要落地为「定义什么是好的」加「设计检验标准」，并以亚历山大绳结说明关键是搞清目的。