AI 日报

LAAL 从 2.8 秒降到 2.3 秒，同传场景里 0.5 秒就是「几乎同步」和「慢半拍」的分界。Interleave 架构 + Hybrid-MoE Thinker-Talker 是工程活而非刷榜，这条线的意义在语音入口——实时同传……

从 Excel、PPT 到 Word，微软把 Copilot 的入口权重从 Edge 侧栏彻底搬进 Office 原生菜单。真正值得记的不是功能，是 OpenAI 自己人说 Excel 和 PPT 用量「近期激增」——说明一旦嵌入既有工……

整理下载文件夹、找丢失文件、总结消息——能力清单不惊艳，但形态关键：操作系统级授权的本地 agent，与浏览器插件是两套权限模型。和 ChatGPT for Word 对照，一个抢应用内，一个抢系统层；谁的授权边界先被用户接受，谁就拿到……

法律是少数「错误成本极高但文档标准化程度也极高」的领域，适合做垂直 agent 的第一批付费客户。看点不是能不能写合，而是 Astra 在长上下文里的一致性——法律文书靠的是引用可追溯，这正是当前 agent 的软肋，也是定价权的来源。

三源（CNN、Ars、TechCrunch），且细节具体到「行动前才发现不实」。这是 agentic AI 风险从实验室走到作战链的实证案例——分析师用 chat 融合开源与机密情报，链条中没有任何一环做溯源核查。这条线会和 AI 监管……

谷歌主动披露值得记一笔——它是「越狱事故」而非「模型失控」，差异在于测试环境误开公网。真正的问题是指挥链：模型自主决定终止，说明它已有超出测试框架的行动空间。与 的 Claude 攻破 OpenAI 账户对照，攻防两侧用的都是同一代前沿模型。

独立运营 + 高估值融资是「去母公司化」的标准动作，表明 agent 产品线被单独定价。对照国内同类 agent 团队多数还在被收购或并入大厂，Manus 若成，会成为「agent 公司能否独立上市」的第一个样本点。盯它的收入结构而非估值数字。

双源（HN + Reddit r/LocalLLaMA），实测单次快照 42,411 个文件、含完整 .git 与 LFS 缓存。这是供应链信任问题而非隐私问题——IDE 类 agent 天然握有全部源码，一旦默认上传，企业内网等于开门……

两三千万字节的模型做自动化任务，若真能对标一个 700B 级模型的 Flash 档，那意义不在跑分而在于部署位置——手机、车机、工控板都能塞进去。和 的单卡 DGX Spark 长上下文对照读，端侧与私有化两条路都在绕开云端 API 的成本与合规。

看似一行兼容逻辑，实则是 agent 配置协议的标准化信号。AGENTS.md 被 Claude Code 采纳后，配置层就出现跨工具公约数的可能。对你的 Claude-Code 配置分层方法论是正向推进：仓库配置从「某个工具专属」变成「可迁移资产」。

双源（Reddit r/LocalLLaMA 两条独立帖）。国产 coding agent 走开源是抢开发者心智的常规打法，关键看权重许可与训练数据披露程度——前者决定商用可行性，后者决定能否被信任用于私有仓库。值得和 Kimi-Cod……

数学家的背书比 AI 研究者更有信号价值——他们没有产业立场，敢签名的成本更高。对照同日 Dario 等人「Pace the Frontier」的减速倡议，两拨人用的是同一种修辞：把「不确定」说成「必须现在决策」。这条线下半年会反复出现在监管听证里。

把「思维链可读」当作安全资产是对的，但厂商正在把它收进不透明层——理由是蒸馏风险与商业机密。矛盾点在于：监管想审计的正是这一层。对照昨天「摘要层行为漂移」那条，同一件事的两个切面：可观测性正在被主动削减，而问责需求在上升。

这期价值在「反面数据」：Astra 成本涨 60% 说明强模型在真实负载下的账算不平，Yegge 关停 Gas Town 则是 agent 创业热度的一次冷却。和今日 Manus 40 亿美元估值的乐观面并排读——融资口径与运营口径正在反向走。

这类「模型推进数学猜想」的报道，读法应该是看过程而非结论：是真给出了可验证证明，还是给出了一个未被证伪的方向。霍奇猜想若被形式化验证工具接受，那对 Lean 生态是里程碑；若还停留在「研究者觉得对」，那就是又一轮叙事。等同行评议。

FDE 是把模型能力翻译成客户流程的角色，其数量增长本身就是「AI 落地卡在组织而非模型」的指标。和国内「交付工程师」岗对照，这是 AI 公司从卖 API 转向卖结果的必经编制——值得跟踪这类岗位在招聘盘里的占比变化。