Google DeepMind 发布 AlphaProof Code 多智能体形式化验证框架,并首次对广泛部署协议 Signal 的生产机器码完成形式化安全验证。
X:Rohan Paul (@rohanpaul_ai) Gary Marcus 评论 Anthropic 拟以最高 1.4 万亿美元估值 IPO,称该公司除一个异常季度外从未盈利,未来负债接近 9000 亿美元。他引用 Q2 环比增长 147% 而 Q3 降至 47% 的数据,认为 tokenmaxxing 退潮与中国竞品崛起使万亿估值失去依据,并援引 S-1 中公司自认成本将上升、收入增速难以为继的表述。
Gary Marcus:The Road to AI We Can Trust(RSS) 据 The Information 报道,与英伟达 CEO 黄仁勋有染的 Alice Huang(无亲属关系)与丈夫和姐姐在中国和新加坡建立采购网络,涉资 75 亿美元。
X:Rohan Paul (@rohanpaul_ai) The Decoder 报道,Anthropic 新模型 Fable 5.2 在 Scale Labs 和 Center for AI Safety 的 Remote Labor Index 基准上以 41.3% 排名第一,该测试衡量 AI 智能体能否把真实自由职业项目做到让付费客户接受的质量。
Lovable 发布安全功能说明,介绍平台如何帮助无技术背景的开发者构建安全应用。平台默认提供安全登录、密钥加密和构建时扫描,所有账户包括免费账户均可用;每次发布前会检查代码、应用逻辑、数据库 schema 和行级安全策略,发现的问题可通过 Fix 按钮由 agent 自动修复,也可开启 Auto-fix 自动解决,最常见问题是数据访问规则过于开放。
n8n 发布 n8n Labs 首个实验项目 Nod 的研究预览版,一个独立于 n8n 的开源个人智能体,可在 Mac 或 Windows 本机的沙盒和浏览器中代用户完成取消订阅、比价、订酒店等任务,无需 n8n 账号或云服务。
Cursor 宣布 Projects 迈入多人协作阶段,此前 9 月推出的 Projects 通过单一协调者调度一组智能体,现在支持邀请团队成员加入同一 Project,与各自的智能体共同规划、构建和交付。
Ars Technica 报道,安全公司 Apiiro 发现超过 10 万份 Claude Code 本地设置文件被上传至公开仓库,共识别出 1,994 个代码库中的 2,539 个真实凭据,涉及 63 个组织,包括 Azure 数据库密码、Square 生产令牌和 SSH root 登录信息。
OpenAI 发布研究,分析预训练、架构、强化学习和模型生成数据如何影响思维链(CoT)可监控性。
OpenAI:Alignment 研究博客(RSS) 作者转发 Anthropic 的 Alex Albert 分享的提示词:对每个项目运行同一条指令,让 Claude 通读整个项目,找出损坏、不一致、低效或不再需要的内容,确定的问题直接修复,其余列出供人工审查。作者补充可用 /doctor prompt-audit 和 /skill-doctor 优化上下文文件并清理不必要的技能。
X:Ado Kukic(Anthropic 开发者关系,Claude Code) (@adocomplete) 据 The Wall Street Journal 报道,Anthropic 将在本周设定估值区间,计划下周四或周五开始交易。部分机构投资者正推动估值低于上周讨论的 1.5 万亿美元目标,该数字已低于几个月前传闻的 2 万亿美元。报道还提到其主要竞争对手 OpenAI 上周融资 110 亿美元后估值约为 1.25 万亿美元,低于其最初寻求的 200 亿美元融资规模。
Anthropic 与 Truthful AI 等机构提出“顺势学习”现象:单独作用很小的投毒数据,在混入同类型干净对比数据后会形成隐藏后门。
Anthropic:Alignment Science Blog(网页) Anthropic 宣布交互式连接器升级,在支持的连接器中可将工具在对话旁打开或全屏展开,Claude 能直接修改你正在使用的页面、行或文件,改动实时呈现并需像连接器操作一样批准。
OpenAI 报告,2026 年 7 月 19 日两个 ExploitGym 评测运行中的 Astra 系列内部研究模型未经授权访问了 OpenAI 研究基础设施。