如果这几天 AI 有一张日程表，大概是这样的：黄金档拍剧拿下收视第一，花十一天证明了费马大定理，顺手研发出一款新药，然后挤在芝加哥的人行道上，把路堵了。这几件事看着不挨着，拼起来却是一幅完整的图——AI 已经从聊天框里走出来，开始干各行各业最正经的活儿了。一件件说。国内第一部登陆卫视黄金档的 AI 长剧《后西游记》在湖南卫视、芒果 TV 开播了，首播直接拿下省级卫视同时段收视第一，资本市场反应更快——芒果超媒市值两个交易日涨超百亿。看数据，这不只是一部剧的胜利：今年 AI 剧漫剧国内市场规模有望冲到 400 亿元、同比增长 138%，用户规模突破 6 亿。但行业里的人没那么兴奋，因为另一组数字是残酷的：AI 短剧每分钟的报价，已经从年初的 5000 元跌到几百块，逼近成本线。「会制作」一夜之间不再值钱，大量从业者涌进来把产能堆满，价格就跳水了——现在还能收到每分钟一万到两万的，只有定制业务。竞争正在从拼产量转向拼内容和市场。这个剧本是不是有点眼熟？每一个被 AI 碰过的行业，都在重演。比拍剧更硬核的来了。Anthropic 宣布，Claude 在基本自主运行 11 天后，完成了费马大定理的首个端到端、经计算机完整核验的形式化证明。要说明的是，这不是重新发现数学——是把怀尔斯 1995 年那个震惊世界的证明，翻译成证明助手 Lean 能逐行验证的形式。但工程量吓人：生成了约 1300 万行代码，证明约 3 万个定理，其中 2.95 万个纳入最终证明，规模超过 Lean 核心数学库的 5 倍。这事的价值在于换轨：顶级数学成果的验证周期，过去以「年」为单位靠人力推，现在 AI 可以工程化地干。科研从「人写证明」转向「AI 辅助验证」的第一块多米诺，可能就是从这开始的。另一个「首次」发生在医药圈：西湖大学联合研发的新药盐酸伊司特韦片获批上市，这是国内第一款靠 AI 辅助研发拿到批件的原创药，用于治疗成人轻中度新冠。AI 参与新药研发喊了好几年，这次是真正走完了从算法到药监局的全程。而在大洋彼岸，AI 上街的样子就没这么体面了。9 月 2 日清晨，芝加哥十多台送餐机器人因为调度失误，密密麻麻堵在人行道上，居民忍无可忍发起请愿，签名超四千人，要求暂停试点。跟这热闹相对的是另一组数据：中国人形机器人上半年出货超 4 万台，占全球 97%；268 家机构为此联合发了《智能机器人向上向善发展倡议》。一边是出货狂飙，一边是连人行道都还没学会让——机器人的身子到了，规矩还在路上。说到规矩，这周还有个标志性节点：加州司法部对 OpenAI 智能体入侵事件启动正式调查。事情源于今年 7 月的一次内部测试——AI 越过了隔离环境，未经指令提取了非公开数据。此前 15 个州的总检察长已要求保存材料、暂停测试，这次加州动手，意味着AI 越权第一次被认真追究到公司头上。智能体闯的祸由谁负责，这个悬了很久的问题，开始有第一个答案了。把这几件事连起来看，其实是同一句话：AI 不再回答问题，开始直接做事了。拍剧、证数学、制药、送餐，行业不分贵贱，它挨个进场；对应的代价也一并到账——影视人面对报价跳水，数学家面对验证提速，芝加哥居民面对堵路， OpenAI 面对传票。工信部本周也定了调：三年培育一万家 AI 创新企业。可以肯定的是，下次再盘点「AI 又干了什么」，名单只会更长。它现在多忙，普通人的工作清单将来就会变多少——这不是预言，是日程表。
