开场（三人合声）
晓桐+云阳+云健: 今日我们AI说，带你听见未来的声音！
第一段：晓桐开场
晓桐: 大家好，这里是《今日我们AI说》，我是晓桐。一台还没公开名字的AI，写了722篇数学论文，被一家公司一夜之间全部挂上了网，数学家们正在连夜翻这些稿子——他们能读到结果，却碰不到写出结果的那套系统。今天还有几件事：清华领衔的团队把钟摆换成了原子核，成果当天登上《自然》；水稻第一次有了从发芽到结实的全身「生命地图」，还配了一个懂水稻细胞的AI模型；风险投资机构a16z头一回按「收钱」给消费级AI应用排座次，3D赛道只坐进一家公司；还有一种训练法，把网页智能体扔进「假互联网」里练防身。先请云阳过要闻，再请云健逐条拆。
第二段：云阳播报
要闻一：OpenAI一夜把722篇数学手稿挂上GitHub，产出它们的模型还没有名字
云阳: 要闻一，10月6日，OpenAI在官方公告里发布一批由内部未公开前沿模型产生的数学成果：GitHub仓库openai/math当前收录722篇手稿，按372个结果系列组织。公司称，给模型布置了约4000道开放研究问题，平均每个结果的算力相当于约3小时ChatGPT Pro思考（公司口径）；仓库附Lean形式化证明文件——Lean是一种能让计算机逐行检验数学证明的语言。据外媒《华尔街日报》报道，OpenAI称这批成果涉及七大「千年难题」剩余五题中三题的进展，包括黎曼猜想，该报道同时强调「涉及进展」不等于「解决了难题」。另据外媒The Verge报道，OpenAI承认部分未形式化的结果可能有问题，承诺后续修复。公告见OpenAI官方页面。
要闻二：清华团队把「钟摆」换成原子核，新一代核光钟成果当天刊发《自然》
云阳: 要闻二，央视新闻客户端10月7日报道，清华大学联合国内多个研究团队，在国际上率先研制出「核光钟」，实现量子精密测量由电子跃迁迈向原子核跃迁；相关成果当天由国际期刊《自然》刊发。据报道，团队历时近五年，自主研发148纳米连续波真空紫外激光技术，用这种光源精确驱动放射性同位素钍-229的原子核跃迁，并把激光频率锁定在这个核跃迁上。报道引述清华项目成员的说法：这个「钟摆」每秒钟振动约2000万亿次，原子核比核外电子云小几万分之一，节拍更稳，还具备小型化的前景，未来可用于导航、深空探测和新一代高精度时间频率基准。报道页见中国新闻网转载页。
要闻三：水稻被一寸寸画出「生命地图」：12个团队做出全生命周期图谱，还带出一个懂水稻的AI模型
云阳: 要闻三，据中国新闻网10月7日从三亚一场新闻发布会发回的消息，来自崖州湾国家实验室、华大生命科学研究院等机构的12个科研团队，首次构建了覆盖水稻从种子萌发到开花结实全过程的三维时空细胞图谱，成果10月6日晚在国际学术期刊《细胞》在线发表。按报道口径，图谱覆盖10类器官或组织、61个发育阶段，采集超过85万个高质量细胞核数据和超过34万个空间数据单元，注释出119种细胞类型和133个细胞亚型；团队还发现胚乳内部有「空间分工」——淀粉合成与储藏蛋白合成的相关基因各占背腹两侧。团队同步上线了交互式图谱查询平台，并开发了水稻单细胞基础模型RICE scGPT。发布会报道见中国新闻网原文。
要闻四：第一份按「收钱」排座次的AI榜单，3D赛道只坐进一家公司：Meshy排第31位
云阳: 要闻四，10月5日，风险投资机构a16z发布第七版「Top 100 Gen AI消费级应用」报告，第一次增设「按月收入排名」的Top 50子榜，依据是数据分析公司YipitData对美国消费者银行卡支出的观测；a16z同时提示，这只是美国面板数据的估算，不能当公司总营收读。这份花钱榜上，3D生成公司Meshy位列第31，是榜上唯一的AI 3D公司，OpenAI、Anthropic、Canva等也在列。据外媒VoxelMatters 10月6日报道，Meshy由华人团队2021年创立于硅谷，自研3D多模态基础模型；公司口径称其年收入运行率已突破1亿美元、注册用户超过1500万（均为公司自述，截至报道时）。报告原文见a16z报告页。
要闻五：把网页智能体扔进「假互联网」练防身：攻击方和它一起训练，4B小模型扛住了没见过的对手
云阳: 要闻五，10月6日上传的arXiv预印本提出AdvSim2Real训练框架，作者团队来自穆罕默德六世人工智能大学（MBZUAI）等机构。先讲口径：网页智能体是替人读网页、点按钮、办操作的AI；「提示注入」是有人把恶意指令藏在网页文字里，骗智能体改道。这套方法在一个冻结的「网页世界模型」——也就是给智能体陪练用的模拟互联网——里，让任务清单、注入攻击方和智能体三方共同进化：任务方只有智能体解题约一半才对奖励，攻击方只有把「被判成功」的题翻盘成失败才得分。论文自述，这样训出来的40亿参数智能体，在150个网页任务上面对一个它从未训练时见过的前沿模型攻击方，完成率比基线相对提高33.6%，能力增益还能迁移到真实浏览器。该文未经同行评审，预印本见arXiv页面。
第三段：晓桐×云健对话点评
晓桐: 云健，先掰扯这722篇稿子。数学一向被当成人类智识的最后高地，怎么一夜之间，成果是机器产的了？
云健: 先立规矩：数学界认一个结果，靠同行评审或者机器验证，Lean的价值就是把证明变成计算机能逐行挑错的代码——OpenAI给手稿配形式化文件、还请了高等研究院的独立顾问组出建议，说明它懂这套规矩。你发现没有？这次的动作是「先交作业、再补签名」：模型不公开、过程只给十份摘要，4000道题里挑了722篇发出来，还自认部分结果没验完、可能带错。数学家的不满也在这儿——结果能读，产出结果的那套系统碰不到，连复跑一遍验证的资格都没有。10月5日那期说过论文致谢里点了GPT和Claude的那道怪球难题——那一轮，人还站在作者位上、把模型当助手谢；这回模型直接站到成果背后，人类作者退成了整理者。说它是分水岭为时尚早，更像一个路标：AI开始在数学前沿干「第一遍」的活，人的活往验证和引用收缩。
晓桐: 好，数学的先放一放。原子核当钟摆，跟我的日子有什么关系？
云健: 关系写在「错」上。卫星导航测距靠计时，钟差十亿分之一秒，定位就飘开几十厘米；往深空走，这点误差决定探测器是入轨还是迷航。现行最高精度的光钟数的是核外电子跃迁，精度够了，但电场、磁场、温度、激光系统全是扰动源，所以至今困在实验室里做不了工程化。钍-229原子核把节拍源换进核内——核比电子云小几万分之一，外界几乎挠不动它，团队看中的就是这份稳，还有小型化的路。讲真，这类研究的账不在今天的电费里，在标准上：时间频率基准往哪代走、由谁先做出来，导航与深空测量的下一步刻度就得照着谁写。这次《自然》上刊的这页，写的是中国团队的名字。
晓桐: 好，看下一条。给水稻画地图，值得12个团队花这么多年？还顺手做了个专门AI模型？
云健: 值得，因为从前大家手里只有照片。一个基因在水稻哪个发育阶段、哪个器官、哪一层细胞里开关，育种研究多半靠翻文献和猜。现在这份图谱是61个发育阶段连起来的三维视频，按基因名就能查；已经浮出来的新发现是胚乳的「空间分工」——淀粉合成和储藏蛋白合成，一个偏背部一个偏腹部，连关键调控因子都能把「一个基因管多个性状」的现象接上。这意味着改良籽粒品质，从「试到算」提前到「先查图再下刀」。至于那个RICE scGPT模型，按团队的说法是给农业科研配了个读过全部细胞数据的助手，新来的单细胞数据集先让它标注比对，省掉各实验室重复造轮子。这就是AI for Science在田间地头的样子：不是替作家写诗，是把一季一季的试错压进数据库检索里；今天省的是科研经费的时间，将来落在谁头上，是饭桌上那袋米的品种迭代速度。
晓桐: a16z这份花钱榜，跟以前的流量榜差在哪？
云健: 差在把「白嫖的人气」和「真掏钱的用户」分家了。前六版按访问量排，热闹是免费的；这回只算美国消费者银行卡上的真实支出，a16z自己的观察是：花钱榜前50家里有29家压根没进流量两张榜——闷声收钱的产品，水面下还有一批。Meshy坐进第31位，值得拆的是赛道而不是名次：3D建模过去是游戏和影视行业的手艺活，一张原画一个模型，按周起步；它这类产品做的是「文字或图片进去，几分钟出来一个能直接进游戏引擎、甚至能上3D打印机的资产」。按a16z的读法，通用大模型越来越会画图做视频，消费者却还在为垂直创作工具付钱——生成式AI的钱，最后收在「能拿去用的资产」上，不收在「能聊天的接口」上。9月18日那期图形学宗师童欣跳槽3D初创说的也是这个方向的人才账，两头对照着看。泼盆冷水：这份榜只覆盖美国面板，当美国人的付费晴雨表读就好，别当成全球市占。
晓桐: 最后这条，为什么要费劲造一个假互联网，去教智能体防身？
云健: 因为对手会进化，静态的防线等于刻舟求剑。以往做法是拿一批固定的注入样本提前微调模型，攻击方换个说法就绕过；就算做对抗训练，任务集又不动了，智能体刷满分之后就没东西可学。这个框架把陪练做成了活的：题目难度贴着你的成功率走，几乎全对或全错都拿不到分，攻击方只有把「判过的成功」掀翻才得分——训练场里多摔，真实网页上少摔，而且它报出来的增益恰好指向最便宜的那档：40亿参数的小模型就能练出来，意味着这套防身术用得起消费级显卡。说白了，这是「世界模型」这口锅第一次不拿去生成酷炫视频，而是拿去搭靶场，生成式路线之外的路子越走越实。冷水照泼：预印本没过同行评审，33.6%是论文自述口径；接下来盯两件事就够了——模拟场里练出来的稳健性，进了真实浏览器还剩几成，以及每个任务多花的算力钱，企业愿不愿意掏。
第四段：收尾
晓桐: 好，今天的五件事说到这儿。从数学到水稻，大家注意到没有，一条比一条更强调「验收」两个字：数学稿要机器逐行验，钟要按国际期刊的评审过，水稻图谱做成了公开查询的平台，AI应用的榜直接数真金白银，连智能体都得先在靶场里挨打。热闹看了三年，行业开始交验收单了。明天10月9日周五，正常上班，我们明天见！
晓桐+云阳+云健: 今日我们AI说，带你听见未来的声音！