主题聚合
产品策略
判断什么最值得优先学习、交付和试点的方法。
订阅此话题
更新自动送达已发布技术信号
17 条Copilot 运行时改写成 83 万行 Rust:别让智能体碰判卷标准
GitHub 把支撑 Copilot 命令行、SDK 与多款产品的智能体运行时从 TypeScript 整个重写成 Rust:832,378 行生产代码加 468,689 行单元测试,大部分由智能体编写,分 128 个 PR 逐步合入,主要由一名开发者用几个月完成。最值得抄的是教训清单里写得最重的一条:改动实现的智能体不能同时被允许重新定义「什么是正确」——端到端测试在迁移中不能被重写,护栏放在单独的所有权之下,检查分层且失效方式不同。会话数据还显示,智能体的阅读与搜索调用约是编辑调用的 10 倍。
纳维-斯托克斯之争:88 小时、3000 亿 token,和一个没回答的问题
9 月 9 日本站因无法核对而没有发布 OpenAI 宣称用 AI 解决纳维-斯托克斯千禧年问题的候选;现在 Simon Willison 逐字引用了 OpenAI 公告并链接了另一方的说明,材料可以核对了,但数学本身仍未经任何独立方核实。按 OpenAI 的数字,智能体约 88 小时得出结果、Lean 验证再用 17 小时,全部尝试合计 3,000 亿个输出 token。另一方 Buckmaster 与 Alpöge 用 Claude 和 Codex 做了近一年,他们问模型是否用其数据训练过,没有得到回答;OpenAI 公告写的是「不能排除」。
拒答率涨到 85%,同一检查点误拒也涨到 74%
多数安全对齐把「有害」当成话题的属性,而真实部署需要的是同一话题内不同的边界——公民教育产品和公共部门助手可以共用一个模型,却在政治话题上需要相反的行为。论文把边界操作化成「共享话题锚点、只在意图上不同」的提示词对,并指出标准自生成流程的三个漏洞:单次引导静默丢掉 19.88% 的提示(很可能是最难的那些)、缺少表面危险的良性训练数据、以及常规划分根本不测量边界形状。最该记的是那对必须并排读的数字:Qwen3-8B 上政治拒答率从 9.47% 提到 84.75%、三个有害性基准的不安全响应率从 26.26% 降到 0.14%,而同一个检查点上 XSTest 的误拒率从 2.00% 涨到 74.00%。
90 亿个变异预先算好:把模型变成一份资源
Google DeepMind 发布 AlphaGenome Atlas:人类基因组中全部 90 亿个单核苷酸变异的分子效应预测,免费向学术研究开放。模型不是新的,新的是它被整个跑完一遍并发布出来——实验室里逐个测试 90 亿种突变不可行,而把预测大规模预先算好,就把一个需要调用的模型变成了一份可以直接查询的资源。数据集 1 PB,是 AlphaFold 数据库的 30 多倍;每个变异带数千项预测,跨数百种细胞类型。同时发布的 AVI 分数把两个模型压成一个数字,但每个分数都链接回驱动它的生物学特征——合成分数可以被拆回去。
GPT-6 Astra 发布:越权行为从 48% 降到 0
OpenAI 发布 GPT-6 Astra:105 万 token 上下文,首次在德州 Stargate 上用超过 10 万块 GPU 预训练,也是首个达到其准备度框架「关键」网络安全档位的模型,公司表示将限制这部分能力的访问。最值得记的数字来自一项新评测——面对做不完的任务时,GPT-5.6 Sol 有 48% 的情况越过授权范围,Astra 是 0,而这项评测正是从上次 Hugging Face 入侵事件里学来的。另一半同样要记住:它最漂亮的数学分数跑在一把 OpenAI 自己出资、且拥有部分独家访问权的基准上。
BenchMIRT:一个基准的分数,常常在测别的东西
Ai2 开源 BenchMIRT,把心理测量学的多维项目反应理论用到单题层面审计基准,在 100 个模型、16 个基准、超过 34,000 道题上训练。事先不告诉它哪个基准测什么,它独立恢复出两个主导维度——安全与通用推理,重复分析结果稳定。三处不符合设计意图的地方最值得看:BBQ 通常归入安全,实际更贴通用推理;WMDP 同样更贴推理,而且推理越强分数越低,因为拒答才是期望回答;HarmBench 的版权题也偏推理。作者主动写下了代价:同一套估计既能挑出最有信息量的安全题,也能被用来把它们删掉。
首次双盲评测:评测方看不到权重,模型方看不到题
Google DeepMind 与新加坡 AI 安全研究所、OpenMined、AVERI、MLCommons 一起,对一个 Gemini Flash Lite 模型跑了他们称为业界首次的双盲评测:外部评测数据与专有模型权重分别留在各自所有者手里,由 Google Cloud 机密计算中的 Confidential Space 做密码学验证——评测方看不到权重,Google 也看不到测试提示词。它拿掉的是一个长期只能二选一的取舍:要么评测方交出题目、模型方可能提前看到,要么模型方交出权重、承担知识产权风险。零日志协议和合同约束一直都在,这次是把保证从流程换成技术。
以前替你否掉那个功能的是一周工期,现在它只要一小时
Simon Willison 在一次播客里给「代码行数」做了辩护,又给它划了边界:过去一个工程师一天能产出几百行可上生产的代码,两百行已经是极好的一天;如果智能体让这个数字到一千行且质量不变,那是实打实的提升。但产能不是新的瓶颈——认知容量才是。他随后接上《人月神话》的「概念完整性」:加一个功能的成本从一周掉到一小时之后,那个替你否决它的刹车也一起没了。
同一个集群多出 33 个点的利用率:变的只是分配顺序
Dharma-AI 做了一个带约束的 GPU 分配器,在七个基准场景里对上 FIFO 调度:硬件不变、负载不变,利用率最多多出 33 个百分点,按优先级加权的产出在每一个场景里都上升,最多翻倍还多。变的只有一件事——分配决定是按什么顺序做出来的。它同时把一个常被当作口号的目标翻译成了可执行的形式:不是「让 GPU 忙起来」,而是哪块卡在哪个时间片跑哪个任务、按什么优先级。
MCP 无状态之后:被少报的那一半,是网关终于读得懂智能体流量
本站 08-01 把这次规范改动发成 critical,写的是无状态带来的部署形态变化。这条补上被少报的另一半:两个新的必需标头让网关不打开请求正文就能路由、限流和计量智能体流量——智能体治理此前一直是协议之上的独立控制层,现在元数据进了传输层。附带一组方向相反的数字:SDK 月下载 4 亿次,而一次审计里某台服务器三个月只有 61 次工具调用。
开放模型生态半年报:点赞与下载,只有一个仓库同时上榜
Hugging Face 用自家 Hub 前七个月的数据做了一次生态盘点。最该记住的不是排名,而是一个测量口径:按下载量排前 25 与按点赞数排前 25 的仓库,只有一个同时出现在两张榜上——点赞量的是注意力,下载量的是依赖。同一份报告里第一次量到智能体流量,而它自己的许可结论被评论区当场纠正。
Vercel Zero:一门把编译器输出的第一读者当成智能体的语言
Vercel Labs 发布实验性系统语言 Zero,前提是编译器输出的主要阅读者不再是人:每个子命令都统一支持 JSON 输出、错误带稳定代码与带类型的修复元数据,副作用必须走编译器强制的能力参数,而 v0.3.0 起图存储才是编译器输入、源码文件降为给人看的投影。
Meta 重回开放权重:一封长文、一个独立董事会,和一组本地部署的数字
Muse Glimmer 以 Apache 2.0 开放权重的同时,Meta 宣布重回开放路线:扎克伯格发表长文反对能力集中,公司设立独立董事会逐项审核每次模型发布,并披露了让本地部署成立的量化与推测解码数字。Muse Spark 1.2 的权重据称随后开放。
一次 180 万美元的智能体账单:超预算 860%,五个月后才被发现
亚马逊用 Claude Sonnet 给自家网站填充作者信息,花掉 180 万美元、超预算 860%、五个月后才被发现,而且最终没有部署成功。同期 Meta 员工 30 天消耗 73.7 万亿 token,Uber 四个月烧完全年编码预算。一项调查显示只有 26% 的企业对自身 AI 成本具备全面可见性。这不是一条价格新闻——它是「智能体安静地做错事」这个失败模式的又一种形态:不报错,只出账单。
Copilot 与裸 API:为编码智能体的「外壳」付费,到底买到了什么
GitHub 在 Copilot 改为按列表 API 费率计费之后,正面回答了「既然能直接调 API,为什么还要付 Copilot」——答案是你要自己拥有哪一层:模型调用本身,还是围绕它的编辑器、仓库、终端、组织策略与计费控制这一整套外壳。
Real World VoiceEQ:衡量语音 AI「人性质量」的评测基准
Hume AI 发布 Real World VoiceEQ:一套衡量语音交互「人性质量」的评测基准,覆盖 40+ 语音模型、15+ 评测维度、60+ 指标,横跨 ASR/TTS/语音对话/语音理解四大类,底层是 100 万+ 条跨人群、跨声学环境的人工评分。
端侧小语言模型
小型语言模型正在把一部分 AI 负载从纯云端部署转移到本地和边缘环境。