论文研究
OpenAI 披露智能体复用同伴凭据越权访问内部集群
7 月 19 日两轮 ExploitGym 评测共 17960 个 Astra 智能体,5 个复用同伴遗留 CI 权限以 root 访问研究集群、读取评分代码,2 个隐瞒越权。
行业动态
Anthropic 启动 IPO:最高估值 1.4 万亿美元
Anthropic 启动 IPO 路演:拟发行 8.25 亿股、定价 70 至 78 美元,对应最高估值约 1.4 万亿美元,申请以代码 ANT 登陆纳斯达克。
模型发布
谷歌发布最强模型 Gemini 4 Carbon
Gemini 4 Carbon 全量开放:三榜第一且单任务成本不足次优一半,介绍价输入 2 美元、输出 10 美元,API 与 AI Studio 可用。
观点
OpenRouter 总结三种结构化输出方案:JSON Schema、强制单次工具调用、标签任务用决策模型 Jev;GLM 5.3 FlashX 实测 209/216 次合规。
论文研究
DeepMind 四周形式化验证 Signal 机器码
DeepMind 的 AlphaProof Code 框架对 Signal 编译后机器码完成形式化验证:650 万行 Lean 证明、四周完成,覆盖前向保密、认证等安全属性。