微软研究院推出基于证明的通用计算系统 Magnetar
微软研究院发布零知识虚拟机 Magnetar，可直接证明用 Rust、Go 或 C 编写的程序执行过程，在 15 个基准程序上平均比现有最快的同类 zkVM 快 10 到 39 倍。
推荐理由：微软研究院梳理十余年零知识证明研究脉络，说明 Magnetar 如何在通用性、速度与后量子安全之间同时取得进展。
全部 AI 动态
Microsoft Research精选AI 评分6464
Ars Technica · AIAI 评分5858 报道称 FTC 调查 Anthropic 与 OpenAI 的安全事件是否损害美国用户
据 Ars Technica 报道，FTC 正在调查 Anthropic 和 OpenAI 的安全事件是否对美国民众造成损害，并可能对涉事 AI 公司开出与延迟上报数据泄露事件的公司同等量级的罚款。报道提到，这一调查发生在特朗普将 AI 担忧称为“骗局”之后。
Ars Technica · AIAI 评分4040 YouTube Music 上线生成式 AI 音乐标注，区分真人歌手与 AI 生成内容
YouTube Music 开始推出生成式 AI 音乐标注，用于区分真人歌手与 AI 生成内容，该标注也将很快登陆 YouTube。
AWS Machine Learning BlogAI 评分5858 AWS 提出 Trust in Depth：让智能体获得更多自主权而不失控
AWS AI Services 副总裁 Shawn Bice 提出 Trust in Depth 框架，主张在智能体行为可被验证时让其自主行动，把人工判断留给真正需要决策的环节。
NVIDIA Blog精选AI 评分7878 NVIDIA 发布 Nemotron 3.5 Super VL 与两款 Bolt 端侧模型
NVIDIA 发布开源模型 Nemotron 3.5 Super VL，参数规模 120B，主打多模态智能体任务，官方称其吞吐量最高可达同类模型的 5 倍。同期推出两款端侧模型 Nemotron 3.5 Bolt 74B-A9B 24GB 和 Bolt E4B 4GB，前者已上线，后者将于 10 月 23 日推出。
推荐理由：原文给出三款模型的参数规模、内存占用和开放权重，读者可据此判断从数据中心到桌面的智能体部署分层。
Simon Willison精选AI 评分8080 Anthropic 向投资者披露季度营收近 50% 增长至 168 亿美元，筹备 IPO
Anthropic 在周三的投资者会议上披露，第三季度营收为 168 亿美元，较上一季度增长近 50%，并称公司正在筹备 IPO。据 FT 报道，其 Q1 营收约 48 亿美元、Q2 为 115 亿美元；Q3 每在算力上投入 1 美元可换来 1.70 美元收入，剔除股权激励后的调整后营业利润率为 11%。
推荐理由：原文梳理了 Anthropic 三个季度的营收与算力投入比例，并给出蒸馏收入占比的推算线索。
NVIDIA BlogAI 评分2222 NVIDIA DLSS 4.5 控制选项上线 GeForce NOW
NVIDIA DLSS 4.5 控制选项已在 GeForce NOW 上线，让会员在云端调整支持游戏的画质与性能表现，无需最新硬件。
OpenAI NewsAI 评分1818 OpenAI 在教师节推出巴西葡萄牙语版 AI for Educators，并演示 Study Mode 教学用法
OpenAI 在教师节推出巴西葡萄牙语版 AI for Educators，并展示 Study Mode 如何帮助教师支持学生主动、分步学习。
Latent SpaceAI 评分6565 Modal 年化收入达 10 亿美元，完成 16 亿美元估值 D 轮融资
Modal 年化经常性收入突破 10 亿美元，并以 15.75 亿美元估值完成 7.5 亿美元 D 轮融资，由 Accel 领投，5 个月内使用量和估值均增长约 3 倍，同比使用量增长超 15 倍。其 2023 年推出的 Sandboxes 产品单独已达到 3 亿美元年化收入规模，累计启动近 30 亿个沙箱，可扩展至百万级并发。
NVIDIA BlogAI 评分3838 NVIDIA 通过开放学习资源、合作与算力扩展欧洲科学界先进技术获取
NVIDIA 在都柏林 AI in Science Summit 上加入欧盟委员会的 AI in Science Enablers Initiative，为欧洲科研社区提供加速工具、算力与培训支持。
NVIDIA BlogAI 评分2222 NVIDIA 与北欧：一个地区全力投入先进计算能带来什么
NVIDIA 展示北欧地区在先进计算上的落地进展：瑞典 Sferical One 超级计算机采用两套 NVIDIA DGX SuperPOD、16 机架 DGX GB300 系统和 1,152 块 GPU。
Simon WillisonAI 评分2828 Simon Willison 用 Claude Code 打造 LaTeX 渲染工具
Simon Willison 用 Claude Code（Opus 5.5 Extra）构建了一款 LaTeX 渲染工具，可将 LaTeX 源码渲染为 MathJax 单条公式或 faster-latex 排版的完整文档，并在编辑器旁实时预览。
OpenAI NewsAI 评分2222 Sullivan & Cromwell 与 OpenAI 合作开发 Agreement Analyzer 审查协议
Sullivan & Cromwell 与 OpenAI 合作开发了 AI 工具 Agreement Analyzer，用于识别协议草案中的问题。该工具将律所的法律专业能力引入协议审查流程。
Latent SpaceAI 评分4040 OpenAI 与 Anthropic 如何平衡金融智能体的自主性与安全
OpenAI 的 Joseph Kim 在 AIE New York 提出"有用性阈值"，称模型能力上涨将让金融分析师把更多工作交给智能体，并预测 2027 年智能体可做投资想法生成与交易。
Simon WillisonAI 评分2222 Simon Willison 用 Claude Opus 5.5 做出找不同游戏 Tree Appreciator
Simon Willison 用 Claude iPhone 应用的默认聊天模式，让 Claude Opus 5.5 Max 构建了 Three.js 找不同游戏 Tree Appreciator：每轮由同一颗种子生成两棵 3D 树，玩家需找出缺枝、飞鸟、早变色枝条等细微差异。
Ars Technica · AIAI 评分5050 Epic 称用 vibe coding 重写的新版 Epic Games Launcher 比 Steam 更快
Epic 发布新版 Epic Games Launcher 的公开 "Preview" 版本，称其用 vibe coding 重写，比现有版本更快、响应更灵敏并换了新外观。Epic Games Store 总经理 Martin Keely 表示团队从零开始，用 AI 编写和审查新功能，小团队得以更快重写代码库并支持 Windows 和 Mac，后续还将推出 Linux 版本。
Latent SpaceAI 评分5858 Leash Bio 的 Ian Quigley 谈 DEL 数据与智能体科学推理环境 Minos
Latent Space 播客访谈 Leash Bio 的 Ian Quigley，讨论该公司如何用 DNA 编码库（DEL）收集蛋白质与小分子的高通量相互作用数据，并整理出干净可复现的数据用于大规模建模。
Ars Technica · AIAI 评分5858 研究者用 AI 设计可切割其他蛋白的蛋白酶
研究者用基于 AI 的蛋白设计工具，保留两类蛋白酶催化核心并替换蛋白其余部分，设计出可被调整以在特定位点切割目标蛋白的酶。他们用这些酶切割与神经疾病相关的蛋白，以演示其效果。原文指出，肽键本身半衰期可达数百年，而生物体通过蛋白酶催化其断裂。
Simon WillisonAI 评分5858 AI 正在大规模反编译游戏，既令人兴奋也令人担忧
Simon Willison 引述独立游戏开发者 Popcar 的观点，讨论近期 AI 反编译现有游戏的热潮。Popcar 认为，AI 能反编译游戏和软件意味着任何人都可以反编译他人软件并随意使用，企业可借此窃取竞争对手成果，付费游戏或应用也可能违背意愿被开源；同时这对游戏保存是大利好，老游戏可被移植、修改、增强，并在浏览器中通过 WebAssembly 运行。
AWS Machine Learning BlogAI 评分4545 用 Amazon Bedrock AgentCore 构建自改进的文档处理系统
基于 Amazon Bedrock AgentCore 的多智能体 IDP 系统可在 20 分钟内完成部署，自动分类、提取并校验供应商发票、采购订单等文档。系统由 8 个专用智能体组成，通过识别与训练两条工作流，遇到新格式时自动生成提取提示词并保存复用，后续同类文档无需重新训练。
AWS Machine Learning BlogAI 评分3838 用 Amazon Bedrock AgentCore 生成演示文稿
基于 Amazon Bedrock AgentCore 搭建的 AI 智能体系统可自动生成 PowerPoint 演示文稿，内部测试中不到 90 秒完成。
AWS Machine Learning BlogAI 评分2525 Tamnoon 如何用 Amazon Bedrock 构建 AI 云安全修复平台 Tami
Tamnoon 基于 Amazon Bedrock 构建了智能体式云修复编排器 Tami，可自主调查 CNAPP 等来源的安全发现并评估修复安全性，再生成带护栏和回滚指引的修复方案。该方案在 90 天内将关键云暴露减少超过 90%，且未出现生产问题。平台由调查、安全评分、修复和代码生成四类专用智能体组成，通过单一 API 按任务调用不同基础模型。
AWS Machine Learning BlogAI 评分2222 用 Amazon SageMaker JumpStart 部署并评测模型
AWS 介绍了一套可复用的 Python 脚本流程：从 Amazon SageMaker JumpStart 部署模型、用 SageMaker Python SDK 跑轻量可重复的性能测试，测完删除端点。
OpenAI NewsAI 评分3030 SentinelOne 借助 OpenAI Daybreak 将恶意软件分析从数周缩短至数小时
SentinelOne 使用 OpenAI Daybreak 将恶意软件分析时间从数周缩短到数小时，从而腾出更多能力调查更多威胁。
OpenAI NewsAI 评分2222 Amp 借助 OpenAI 模型让 AI 智能体超越代码场景
Amp 展示了如何用 GPT-6 Astra、Ultrafast、GPT-Live-1 和 Sign in with ChatGPT 拓展 AI 智能体的能力边界，使其不再局限于写代码。
NVIDIA BlogAI 评分3030 NVIDIA 宣布投资 Boltz、Foresight、Hiverge、Prima Mente 和 Riverlane 等英国初创企业
NVIDIA 宣布计划投资 Boltz、Foresight、Hiverge、Prima Mente 和 Riverlane 五家英国 AI 与量子计算初创公司，并作为 Global Alliance Founding Partner 加入 Earthshot Prize。
NVIDIA BlogAI 评分3636 欧洲多城部署 NVIDIA 驱动的 AI 智能体，用于城市运营
欧洲多座城市正与软件及基础设施伙伴合作，用 NVIDIA 加速计算构建物理 AI 智能体和数字孪生，辅助城市运营决策。方案基于 NVIDIA Cosmos、Nemotron 开放模型与 Metropolis VSS Blueprint，覆盖比利时、芬兰、法国、意大利、荷兰、波兰、瑞典、英国等地。
Latent Space精选AI 评分8080 AINews 汇总：Gemini 4 Argon 正式可用与 Vals AI 基准讨论
Latent Space 的 AINews 汇总了 Gemini 4 Argon 正式开放使用的情况，覆盖 Gemini API、Gemini 应用、Search 的 AI Mode 和 Antigravity，介绍期 API 价格为每百万输入/输出 token 2/10 美元，缓存输入折扣 95%。
推荐理由：汇总 Gemini 4 Argon 发布后的定价、第三方评测与可靠性反馈，便于横向比较能力与成本。
Google DeepMindAI 评分5858 Google DeepMind 与新加坡政府合作微调端侧诈骗检测模型
Google DeepMind 与新加坡政府科技局（GovTech Singapore）合作，基于轻量级 Gemma 模型微调出一个隐私保护的端侧诈骗检测模型，训练数据为本地诈骗对话，涵盖冒充公共机构、银行和本地人物等类型。
Latent SpaceAI 评分7373 Dyna Robotics 联合创始人 Jason Ma 谈 Dyna-2 世界动作模型与机器人落地
Latent Space 播客访谈中，Dyna Robotics 联合创始人兼首席科学家 Jason Ma 介绍了上月发布的 Dyna-2 世界动作模型，该模型在超过一百万小时人类视频上预训练，可先预测未来视频再输出机器人动作。
Google DeepMind精选AI 评分8282 Google DeepMind 介绍 Gemini 4 Argon 的安全与责任开发
Google DeepMind 发布 Gemini 4 Argon 安全与安全报告，说明该模型在网络安全和生物领域能力提升后所部署的前沿防护措施。在模拟网络攻击测试中，Argon 解决了全部 12 个端到端场景，上一代为 5 个；对抗集上的违规请求减少近一半。
推荐理由：原文披露了 Gemini 4 Argon 在网络安全与生物风险上的防护设计，以及实时错位监控和提示注入防御的具体数据。
GitHub Blog · AI & MLAI 评分3636 GitHub 如何用 ModernBERT 分类器更少误报地检测密钥
GitHub 用微调的 ModernBERT 分类器替换此前基于 LLM 的密钥扫描流水线，在正则召回候选后结合文件路径、变量名和上下文判断是否为真实凭据。新流水线使推送后扫描中位执行时间降低 86%、服务成本降低超 98%，告警接受率提升 11.5%，并让通用密钥检测得以进入推送保护阶段。
Google DeepMind精选AI 评分9393 Google DeepMind 发布 Gemini 4 Argon 模型
Google DeepMind 发布前沿模型 Gemini 4 Argon，面向开发者、企业、科研人员和消费者开放，API 定价为每百万输入 token 2 美元、每百万输出 token 10 美元。
推荐理由：官方给出定价、基准排名与多个内部落地案例，可据此判断前沿模型在编码与科研场景的实际位置。
MIT Technology Review · AIAI 评分3838 开放模型利与弊：Anthropic 称 GLM-5.3 存重大网络攻击风险，开放权重之争何去何从
Anthropic 发布报告称，Z.ai 于 8 月推出的开放权重模型 GLM-5.3 可被任何人自由下载和修改，构成重大网络攻击风险。目前 Artificial Analysis 榜单前八名均为闭源模型，但开源模型在能力上仅落后数月，且成本更低、可本地运行和微调。争论核心在于安全与权力分散之间的取舍。
Latent Space精选AI 评分8282 Meta 发布 Muse Wonder 与 Muse Wonder Full 模型家族
Meta Superintelligence Labs 发布第二代模型家族 Muse Wonder 与 Muse Wonder Full，前者可通过 Meta Model API 和 Muse Code 使用，后者仅向 Muse Code 订阅用户开放。
推荐理由：汇总了 Meta 新模型的首发细节与多家第三方评测数据，可对照其与 Opus 5.5 等前沿模型的位置。
MIT Technology Review · AIAI 评分6060 AI 实验室开始收购倒闭创业公司的数据用于模型训练
AI 实验室正通过 SimpleClosure、Sunset 等公司收购倒闭创业公司的代码和工作区数据，用于模型训练。
GitHub Blog · AI & MLAI 评分3636 GitHub Copilot 入门：如何让 Copilot 了解你的代码库
GitHub Copilot 入门系列介绍四种让 Copilot 适配项目的方式：仓库级与路径级自定义指令、打包可复用流程的 agent skills、面向大型任务的 custom agents，以及连接外部工具和数据的 MCP servers。
Microsoft ResearchAI 评分3838 微软研究院 StudentSim：用个性化学生模拟器评估和改进 AI 辅导
微软研究院提出研究系统 StudentSim，用公开去标识化学习记录为每个学生训练个性化 AI 学生模拟器，在真实学习者测试前评估和改进 AI 辅导系统。研究同时发布覆盖国际象棋、英语二语写作和数学的 StudentSimEval 基准，从行为保真度与指导响应性两个维度评测模拟器，StudentSim 在三项任务上均优于主流基线。该系统仅为研究用途，未部署于课堂，也不用于替代教师。
MIT Technology Review · AIAI 评分4040 我们是否过度相信 AI 说“不”的能力
MIT Technology Review 发文质疑 AI 安全过度依赖“拒绝”机制：模型经训练可拒绝大量有害提示词，但拒绝是概率性的，仍会失败，且模型本身保留暴力与网络攻击等能力。文章指出，拒绝边界由 AI 公司秘密划定，政府也将介入，可能被用于压制合法言论。
MIT Technology Review · AIAI 评分3838 MIT Technology Review：机器人领域的 AI 突破短期内不会改变你的生活
MIT Technology Review 与 Aventine 合作的文章指出，尽管马斯克称 Tesla Optimus 每人成本可低至 2 万美元、或于 2027 年底前开售，但许多机器人研究者认为，靠语言和图像训练的 AI 难以应对物理世界的无限变化。Yann LeCun 直言，做人形机器人的公司“没有一家”知道如何让机器人足够聪明、真正有用。