核心观点：这是协作范式的突破，不是模型智能的突破。真正的产品不是那个 358 年的定理，而是一条能把「十年人力验算」压成「十一天机器验算」的流水线。我判断，自动形式化不可逆，但「谁来审计机器生成的证明」会成为下一个硬问题。：[A] 官方/一手 [B] 2+可靠来源 [C] 单一来源 [D] 个人判断。

核心观点：这是协作范式的突破，不是模型智能的突破。真正的产品不是那个 358 年的定理，而是一条能把「十年人力验算」压成「十一天机器验算」的流水线。我判断，自动形式化不可逆，但「谁来审计机器生成的证明」会成为下一个硬问题。：[A] 官方/一手 [B] 2+可靠来源 [C] 单一来源 [D] 个人判断。

核心观点：这是协作范式的突破，不是模型智能的突破。真正的产品不是那个 358 年的定理，而是一条能把「十年人力验算」压成「十一天机器验算」的流水线。我判断，自动形式化不可逆，但「谁来审计机器生成的证明」会成为下一个硬问题。：[A] 官方/一手 [B] 2+可靠来源 [C] 单一来源 [D] 个人判断。

真实交互数据缺口超过 99%，一直卡着通用机器人，2026 年世界模型开始直接「造数据」。李飞飞的 R2S2R 让完全没喂真实数据的策略在真机跑满一小时，NVIDIA 把 Cosmos 3 摆成物理 AI 的开源地基，WAIC 上中国「世界模型六小龙」当众吵路线。合成数据正在替代「慢慢攒数据」的老路。：[A] 官方/一手 [B] 2+可靠来源 [C] 单一来源 [D] 个人判断。

机器人行业正在重演手机行业的剧本：硬件已经过剩，价值正从「卖身体」迁移到「机器人大脑」这个软件层。资本市场把天量融资几乎全押在 VLA 模型上，而谁能先突破「灵巧手」这块天花板，谁的大脑才能兑现价值。：[A] 官方/一手 [B] 2+可靠来源 [C] 单一来源 [D] 个人判断。

2026年7月15日，三项AI监管新规同天生效，豆包单月流失600万用户，中国大模型周调用量达27.58万亿Token——美国的4.3倍，连续11周全球第一。监管收紧、免费终结、技术逆袭三条线在同一节点交汇。中国AI的上半场（烧钱换规模）结束了，下半场的核心问题是：可持续吗？

这是一篇深度研究，不是新闻简报。基于 130+ 个来源的交叉验证。

每期覆盖 3-4 天的 AI 软件动态。个人视角，不追求面面俱到。周三、六更新。这四天（7.19-7.22）的 AI 软件圈，表面看是三件事：模型继续发、融资继续烧、协议继续改。但我想聊的是水面下那条更值得注意的线——

我原以为 Agent 协议标准化的驱动力会来自「技术优越性」——即哪个协议设计得更好，哪个就会赢。但过去一周的三条新闻让我彻底修正了判断：Jensen Huang 走进国会山游说开源、中国商务部警告对等反制、Anthropic CEO Dario Amodei 发博文澄清「不禁止但管制」的中间立场。

这是一篇深度研究，不是新闻简报。基于 11 个来源的交叉验证。：当真实物理数据又贵又难采，李飞飞、Genesis、Nvidia 正在押注一条更便宜的路线——直接在虚拟世界里「造」数据来训练机器人。方向是对的，但「用仿真世界练熟的手，能不能在真实世界也稳」这条最硬的结果，目前还没有人跑通。我判断，这不会替代真实数据，而是会演变成「仿真 + 真实」的混合打法。：[A] 官方/一手 [B] 2+可靠来源