Antigravity SDK 新增本地 AI 模型支持
Google 宣布 Antigravity SDK 支持本地模型与多种执行选项，初始支持通过 LiteRT 运行 Gemma 4 26B A4B，开发者可在离线环境下使用与云端相同的 agentic 能力。
推荐理由：本地 Gemma 4 26B 与云端 Gemini 3.8 Flash 协同的混合编排示例，帮助开发者在隐私与成本约束下设计本地 agent 工作流。
Agent 智能体
全部主题让模型自主规划、调用工具、完成多步任务的技术方向——从 Claude Code、Manus 到各家 Agent 框架与评测基准的全部动态。
最新精选
第 1–20 条 · 共 111 条Google Developers · AI精选AI 评分6262 arXiv · Machine Learning精选AI 评分6767 Sage：带语义纠错的形式化框架
arXiv 论文提出 Sage（Semantic Agent-Guided Formalization Engine），用四阶段分解生成加双信号语义纠错循环，替代整体翻译。
推荐理由：通过分解生成与双信号语义纠错，Sage 把形式化翻译中的假设丢失和空真问题从 70.9% 压到 2.7%，为数学形式化数据瓶颈提供了可复现的工程路径。
爱范儿精选AI 评分8282 OpenAI 发布 Dot 智能体、GPT-6.1 Sol 及一系列开发者更新
OpenAI 在开发者大会公布 Dot 智能体、GPT-6.1 Sol、UltraFast、Decisions API、Agents API、云端 Codex 和 OpenAI Marketplace 等更新。Dot 可持续执行任务并连接 4000+ 应用，现场演示出现翻车；GPT-6.1 Sol 以约五分之一成本接近 Astra 表现。
推荐理由：原文给出了能力变化和开放入口，读者可以据此判断它会怎样改变现有工作流。
爱范儿精选AI 评分7979 OpenAI DevDay 2026 发布 dots 等 20 余项更新，GPT-6.1 Sol 定价为 Astra 五分之一
OpenAI 在 DevDay 2026 推出由 GPT-6 Astra 驱动的 24 小时智能体助理 dots，以及 ChatGPT Space、Codex Cloud、Decisions API 和 GPT-6.1 Sol 等 20 多项更新。
推荐理由：OpenAI 把 ChatGPT 推向持续存在的 SaaS 工作流，并推出高性价比的 GPT-6.1 Sol，读者可以据此判断它对个人用户成本和企业部署的实际影响。
量子位精选AI 评分9191 OpenAI DevDay 2026发布Dots常驻Agent与GPT-6.1 Sol，Codex云端化并开放API
OpenAI在DevDay 2026一口气公布25项更新，重点包括常驻型Agent Dots、GPT-6.1 Sol模型、Codex云端升级、Agents API开放以及两项商业化动作。
推荐理由：OpenAI把Agent从单次任务延展到长期常驻运行，并用新模型与API把成本与执行环境配套打开，读者可以据此判断其Agent产品线的整体推进方向。
TechCrunch · AI精选AI 评分7676 OpenAI 新功能直击应用商店模式
OpenAI 在 Dev Day 推出 ChatGPT 应用发现与分发体系，聊天中自动推荐应用并支持在 ChatGPT 内直接使用，同时引入
推荐理由：OpenAI 把 ChatGPT 变成应用发现与分发入口，开发者可在聊天界面构建交互面板，用户身份与 AI 额度可带入第三方应用。
The New York Times · AI精选AI 评分8585 OpenAI发布Dots AI智能体，竞逐Meta Muse
OpenAI在旧金山年度开发者大会发布名为Dots的AI智能体，作为个人数字助理与Meta的Muse、Google Gemini Spark及融资10亿美元的Instinct展开竞争。Dots由GPT-6 Astra驱动，OpenAI称已进行额外安全测试并有信心推出。
推荐理由：OpenAI推出Dots智能体与Meta Muse正面竞争，读者可借此观察AI代理赛道的最新格局变化。
The Decoder精选AI 评分8282 OpenAI 发布 GPT-6.1 Sol，接近 Astra 表现但成本仅约五分之一
OpenAI 发布 GPT-6.1 Sol 作为 GPT-6 Astra 的低价替代方案，API 输入 $2/百万 token、输出 $10/百万 token，缓存输入 $0.10。
推荐理由：OpenAI以 Astra 五分之一成本推出 Sol，在编码、电脑使用与办公场景接近旗舰表现，为开发者提供高性价比替代选项。
The Decoder精选AI 评分8888 OpenAI 在 DevDay 发布 ChatGPT 多项更新：开放插件系统、共享工作空间与自动化工作流
OpenAI 在 DevDay 推出 ChatGPT 重大更新，包括开放插件系统、共享工作空间 Space、协作文档 Pages 与 Slides、Slack 和 Teams 集成、Meetings 插件、MCP Events 与 Team Tasks 自动化的新定价方案 Pro 500，以及面向企业客户的 OpenAI Marketplace。
推荐理由：开放插件系统与共享工作空间让 ChatGPT 向平台型工具演进，读者可据此评估它对现有协作工具的替代压力。
The Decoder精选AI 评分8282 OpenAI 发布常驻 Dots 智能体，对标 Meta 的 Muse
OpenAI 在 DevDay 2026 推出常驻 Dots 智能体与更便宜的 GPT-6.1 Sol 模型，顶级版 GPT-6.1 Astra 因安全问题暂缓。
推荐理由：原文给出了能力变化和开放入口，读者可以据此判断它会怎样改变现有工作流。
TechCrunch · AI精选AI 评分8383 OpenAI 发布 GPT-6.1 Sol，定价为 GPT-6 Astra 五之一
OpenAI 在 DevDay 发布 GPT-6.1 Sol，称其在智能编码、电脑使用和专业工作上接近 GPT-6 Astra，输入输出 token 价格为标准价的五分之一。
推荐理由：新模型以五分之一定价接近旗舰性能，为开发者提供高性价比的编码与自动化工作流选项。
GitHub Changelog精选AI 评分7474 GPT-6.1 Sol 在 GitHub Copilot 中正式可用
OpenAI 的 GPT-6.1 Sol 模型已在 GitHub Copilot 中正式推出，支持智能体编码和终端工作流。早期测试表明，相比 GPT-6 和 GPT-5.6 系列，它能以更少的 token 和步骤可靠完成任务。
推荐理由：早期测试显示该模型在多步编码任务中能以更少的 token 和步骤完成工作，用户可据此评估是否切换模型以优化成本与效率。
The Decoder精选AI 评分7979 ElevenLabs 发布 v4 语音模型，AI 声音更具表现力且更一致
ElevenLabs 发布 v4 语音模型，新架构提升方向遵循与长内容声音一致性，支持 90+ 语言及原生口音克隆。Turbo 变体实现 150 毫秒语音启动，在 Artificial Analysis 发音基准测试中得分 91.7%，盲测中约四分之三听众更偏好 v4。标准版 API 定价 $80/百万字符，Turbo 版 $40，即日起至 10 月 12 日临时降价至 $22 和 $11。
推荐理由：新版本在发音基准测试中得分91.7%，Turbo变体可在150毫秒内开始语音生成，为实时语音代理提供了速度与表达兼顾的方案。
Microsoft Research精选AI 评分7272 Microsoft 推出 Quine 生物 AI 研究系统
Microsoft Research 发布 Quine，一个面向生物学的多模态世界模型与交互式实验框架，连接模型、工具、文献和研究人员。与 Broad Institute 合作在胰腺癌细胞状态转换中预测并验证了数千种化合物，整个筛选与验证过程在一个周末完成，部分化合物出现意外表型。Quine Fellows 计划现已开放申请，系统目前仅限研究用途。
推荐理由：原文展示了跨模态生物世界模型的实际验证路径，读者可据此评估计算实验与湿实验闭环对研发效率的潜在影响。
The Decoder精选AI 评分8080 Manus 2.0 发布，支持视频编辑、多人游戏托管和手机远程运行智能体
Manus 2.0 将 AI 智能体升级为平台，新增视频编辑和游戏开发环境，并允许用户用手机远程操作桌面。测试显示 Cascade 智能体比上一代节省 23.2% token 和 32% 成本，自动化可基于邮件或 Slack 事件触发。Cue 应用为每个智能体提供独立邮箱和钱包，目前免费早期访问需邀请码。
推荐理由：新版本带来了视频编辑和远程运行智能体等入口，读者可以据此评估它对现有自动化工作流的实际改变。
Apple Machine Learning Research精选AI 评分6262 通信瓶颈：语言模型中树结构表达式序列化的往返研究
Apple ML 团队提出往返协议评估 16 个模型对树结构算术表达式的序列化与恢复，发现通道失真且不对称，最佳模型对组合可达 92.9%，约 73.6% 失败源自生成端，结构难度主导而非模型族，约 3600 条微调样本即可让开放权重模型超越未训练 Gemini-3.1-Pro。
推荐理由：通过生成与提取的往返协议揭示模型间序列化树结构的失真瓶颈，为改进模型通信提供可量化依据。
The Decoder精选AI 评分7878 Claude Sonnet 5.5 多项基准接近 Opus 5.5，单任务成本最多低 30%
Anthropic 发布 Claude Sonnet 5.5，基准接近 Opus 5.5，输出快逾 30%，单任务成本最多低 30%。
推荐理由：Sonnet 5.5多项基准接近Opus 5.5且单任务成本最多低三成，编码成绩相对前代抬升尤其明显。
Hugging Face Blog精选AI 评分6969 Hcompany 发布 Holo4 通用计算机使用智能体，含 27B 与 35B-A3B
Hcompany 发布智能体模型 Holo4，提供 27B 稠密版与 35B-A3B MoE，并推出 Holotron4 Nano。
推荐理由：同一模型同时覆盖图形界面、代码和工具调用，便于对照它在更低成本下与闭源模型的长流程得分差距。
Amazon Science精选AI 评分6060 Reactor 与 Amazon Neuron Science 合作实现 Trainium 上的实时视频生成
Reactor 与 Amazon Neuron Science 团队合作，在 Trainium 上实现了基于 Rolling Forcing 的实时视频生成。团队采用以 NKI 为中心的底层优化，将 3D-RoPE 从 5 秒降至 1.8 毫秒，缓存拷贝从 23 毫秒降至 1.9 毫秒，并采用混合分片策略与模型代码合并，使管道仅用 11 GB 高带宽内存即达成 16 fps 以上的实时生成。
推荐理由：原文给出了具体优化路径与实测数据，读者可据此判断 Trainium 在实时视频生成上的可行性边界。
Nature · Machine Learning精选AI 评分6767 Anthropic AI 生物实验室在病毒中发现类 CRISPR DNA，后续如何发展
Anthropic 发布预印本，称其 AI 代理在巨型病毒基因组中发现了类似 CRISPR 系统的重复 DNA 序列。实验调用约 950 个 AI 代理自主探索数十亿蛋白质，耗时逾 21 小时，但目前尚未确定这些序列的功能，也未发现配套的 DNA 切割酶。
推荐理由：AI 代理在基因组数据中发现类 CRISPR 重复序列，展示了自动化挖掘分子工具的潜力，但功能尚未验证。