腾讯混元把Hy4 Preview的总参数推到770B，并把重点放在Coding Agent的连续执行能力上；Anthropic则把Claude直接放进浏览器，让它可以在网页里浏览、点选、填表和拉取信息。两个动作看似一个属于...

AI正在进入可验证的生产环节：形式化验证发现深层软件漏洞，量子化学模拟大幅降低计算成本，医疗与工程应用也开始用可复核结果衡量价值。

Moxt、Cocode、VibeWorlding与百度搭子等产品显示，AI正在从一次性对话工具转向能分工协作、沉淀方法并持续交付的数字工作系统。企业竞争的关键，也从模型参数延伸到工作流、权限和基础设施。

从物理问题求解、量子化学模拟到6G、软件验证和工业智能体，最新进展显示AI正在从演示能力走向可验证、可交付的真实系统。

Anthropic推出硬件用MCP标准MHS，推动AI智能体连接显微镜、机械臂等真实设备；多镜头视频、内容Agent与推理侧学习也在加速AI从生成结果走向连续执行和可控交付。

一位曾参与搭建ChatGPT后训练体系的研究者，在离开创业公司和OpenAI之后重新回到谷歌DeepMind，负责强化学习与后训练方向。Barret Zoph的这次回归，表面上是个人履历的一次转折，背后却对应着AI...