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

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

OpenAI宣布将在11月12日停止向Cursor提供GPT模型访问，并明确不会把下一代最强模型Astra提供给这家由马斯克收购的编程工具公司。Cursor联合创始人回应称双方仍在协商，而OpenAI模型目前约占Curs...

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

斯坦福团队用多候选生成与自验证框架提升开源模型任务成功率，Qwen低成本架构与Specula形式化验证则从推理和工程两端补齐可靠性，AI竞争正在从一次答对走向可验证交付。

Anthropic把Claude装进浏览器之后，AI智能体终于拥有了一个更像“工位”的入口。8月26日上线的Claude in Chrome面向付费用户开放，用户只需交代目标，Claude便可以在独立浏览器里浏览网页、点击...