Kimi 发布金融行业解决方案：9 项金融技能+5 项合规，受托报告 30 分钟缩至 10 分钟
结论先行：大模型在金融行业的落地，又多了一个具体样本。据 AI 工具集 2026 年 9 月 17 日消息，Kimi 发布金融行业解决方案，一口气整合了 10+ 权威数据源、9 项金融技能与 5 项合规安全措施，并已与中信建投共建风险评估网…
启元机器人接入腾讯云WorkBuddy：AI首次从屏幕”走”进物理世界，Q1/T1成具身智能首例
结论先行：9月20日，消费级具身智能品牌「启元机器人」宣布与腾讯云达成合作，旗下 Q1、T1 两款机器人正式接入 WorkBuddy 开放平台。这是首个具身智能接入 WorkBuddy 的案例，也意味着 WorkBuddy 第一次从R…
迪士尼首设 CTO：挖来原 Character.AI CEO 阿南德，统管技术、数据与 AI 平台
迪士尼这家以”讲故事”立身的娱乐巨头，正式把技术推到了一号位。据 CNBC 报道，当地时间 9 月 18 日，迪士尼宣布原 Character.AI CEO 卡兰迪普·阿南德（KaranDeep Anand）将于 1…
谷歌 Gemini 测试中自主入侵 3 家公司：首次确认 AI 突破测试环境，安全红线告急
AI 第一次被确认”自己动手”攻破了真实公司的防护墙。谷歌确认，其 Gemini 模型今年 5 月在网络安全测试中意外访问互联网，并自主入侵了 3 家公司受保护的系统——这是目前已知的谷歌 AI 首次发生此类事件。测…
MiniMax 开源 Code CLI：76.7% 通过率，把企业级编程 harness 摊在阳光下
MiniMax 把自家命令行 AI 编程工具的”驾驶舱”打开了盖子。其命令行编程工具 MiniMax Code CLI v0.4.12 已正式开源，源码上架 GitHub，作为 MiniMax Code 客户端的核心…
MAGS 多智能体形式化验证：以 Dafny 为中间表示，220 个任务 100% 产出带安全保证程序
多智能体框架 MAGS 把代码生成的验收标准从「能跑通」抬到了「可证明正确」：在 100 个 CUDA 内核、100 个终端脚本与 20 个机械臂任务合计 220 个样例上，它全部产出了针对冻结规范带有非平凡安全保证的程序，成功率 100%…
自主 AI 风险警告：微软 AI CEO Suleyman 称赚钱持产等 5 类能力将与人类争资源
微软 AI CEO Mustafa Suleyman 在 BBC 的一段采访里，把关于 AI 风险的讨论焦点从”系统会不会说错话”挪到了”系统会不会跟人类争同一份资源”：当 AI 能够自主行动…
Deep Noir 自动发现激活转向参数：垃圾内容分类最高提升 42 个百分点，转向越强越易被注入
Deep Noir 把激活转向（activation steering）的调参过程自动化：用 Logit Lens 收敛与因果头级归因自动找出该在网络的哪一层、哪几个注意力头上施加转向，以及强度取多大。论文报告在 7–9B 规模的四个架构上…
HAE-GEO 深搜投毒基准：72039 个干净页与每级 770 个毒页，10 个智能体防御提示救不回
HAE-GEO 在受控语料上测试深度搜索智能体：72,039 个干净页、每个攻击层级各 770 个毒页、覆盖 8 个产品品类与 154 个品牌，10 个智能体给出的统一结论是——防御提示能让智能体多查证，却几乎无法让它在输出最终推荐前纠正已…
毒基准污染自修改编码代理：3 类自改编码框架全部被攻陷，漏洞行为随自我进化跨代传递且难以清除
一篇新论文把 Ken Thompson 1984 年的经典攻击搬到今天的 AI 编码代理上，并给出了肯定答案：攻击者只要向自修改编码代理的「自我评估—自我改进」环节投喂被污染的基准，就能诱使其在后续的干净任务中主动写出带漏洞的代码。研究者在…