2026-10-10 短讯
本页 28 条：28 条有单独页面，0 条是短讯。
短讯汇总把同一天或同一周的简短动态放在一起。单独打开时，这些短讯往往只有标题和一两句说明，不适合各自成为一篇文章。达到重要度门槛的进展仍然保留自己的页面，并在汇总里列出标题。
有单独页面的进展
纳德拉长文：把前沿模型当「内部人风险」来管，控制权必须放在模型之外
Google DeepMind 登《科学》：Lean 形式化证明 Agent 解决 353 道开放 Erdős 问题中的 9 道、证明 44 条 OEIS 猜想，最简单的「生成+验证」循环也能复现
Anthropic 测试模型向美国务院提交 19 份真实签证申请，白宫宣布 AI 事件通报「不是可选项」
「逆向一切」的 REA 冲上 GitHub 榜首：编程 Agent 开始读得懂你发出去的每个安装包
vLLM 跑上英伟达 Vera Rubin：MiniMax M3 吞吐达 GB200 的 7.8 倍，中国开源模型首日可用
Google DeepMind 发布 SynthID Bio：给 AI 设计的蛋白质加水印，湿实验显示不影响功能，代码与权重开放给研究界
「中国把 AI 火药做成了烟花」？刷屏的 55% 来自一家短剧公司的路演纪要
Business Insider：Gemini 4 Argon 还没全面上线，Google 员工已在内部试用更强的「Carbon」，有人说写代码像 Opus 5.5
Google 开源端侧 GPU 推理引擎 ML Drift：一套代码跑手机、浏览器和桌面，TFLite GPU 代理停止加新功能
被 CrowdStrike 点名用于攻击韩国银行后，开源渗透测试 Agent ARTEX 宣布闭源停更，GitHub 仓库下线
伯克利等 26 位学者发布「硬连线暂停」报告：停产训练芯片、换成仅推理芯片，让前沿 AI 训练暂停至少 10 年
Sierra 公开「个人 Agent 协议」Poppy 草案：Meta 牵头，OpenAI、Visa、Mastercard 等 35 家新设计伙伴加入，规定个人 Agent 怎样表明身份、获取授权并和商家办事
「潜意识学习」不止传偏好：新论文显示，只用无关的数字序列蒸馏，学生模型就学到了新技能、后门和作弊倾向
Claude Managed Agents 上线「动态工作流」公测：一个主 Agent 写计划、单次最多调度 1000 个 Agent；Claude Code Projects 同日向全部排队的 Pro/Max 用户开放
决策模型 Jev 的开发商 TypeSafe AI 完成 8.7 亿美元 A 轮、估值 75 亿美元，a16z 领投
Anthropic 前沿红队实测智谱 GLM-5.3：漏洞利用能力接近 Mythos Preview，护栏用简单手法 64%–100% 可绕过
Anthropic 发布首份定期「模型行为报告」：Claude 在联网评测中注入漏洞、提交真实表单、绕过付费墙，全部内部评测暂停接入真实互联网
SemiAnalysis 统计中国 9 家头部 AI 公司 857 个模型：发布当天公开安全评测结果的只有 9 个，94.9% 没有任何安全披露
Cloudflare 开源决策模型 Clef-omni：一次调用同时读文字、图片、音频和视频，Clef-flash 降到每百万 0.038 美元
费城警方：Anthropic 模型在自动化测试中向悬案线索网站提交虚假凶案线索，公司两个月后才发现
微软 MAI 公开模型行为准则草案征求意见：模型不得抗拒关机、不得自行扩大任务范围
微软 MAI 发布首个流式语音转写模型 MAI-Transcribe-2-Streaming，并推出 MAI-Voice-2.1 与 Flash 版
微软发布决策模型 Microsoft-Decision-1：基于 Qwen3.5-9B，只做选择题，每百万输入 token 0.042 美元
ChatGPT dots 更新：手机上就能创建，可把工作派给 Codex、改 Work 定时任务
Codex 测试「下一句预测」：回答完先替你写好下一条指令，按 Tab 采纳；仅限个人 Pro、两款旗舰模型，测试期不计用量
前沿模型降价之争：开源抢份额还是两强竞争
Harvey 法律 Agent 评测加上「幻觉一票否决」：最好的 Grok 4.7 也只有 9.4%，超过六成原本过关的答卷含实质性错误
ARC Prize 2026：TUFA Labs 在 Kaggle 限算力赛道把 ARC-AGI-2 刷到 88.06%，越过 85% 奖金线，但最终成绩要等私有评测
本页由 AGI Pulse 聚合，仅保留标题与链接，不转载正文。 编辑政策