Google 员工已测试下一代 Gemini 3.8 Flash 模型
相关推荐
10 月 9 日起,谷歌 Gemini 免费用户仅能使用 Flash-Lite
火星财经消息,IT 之家援引谷歌 Gemini 应用帮助中心信息称,自 2026 年 10 月起,使用个人账号访问 Gemini 应用时,模型可用情况将发生变更。自 2026 年 10 月 9 日起,Gemini 网页端与 App 端免费个人用户不再默认提供完整的 Flash 模型及 Pro 模型访问,统一调整为体积更小、更轻量的 Flash-Lite 模型。变更生效后,未订阅用户仅可使用 Flash-Lite,不能使用 Flash 与 Pro。AI Plus 方案可使用 Flash-Lite 与 Flash,不再提供 Pro 模型访问,订阅该方案的用户将收到电子邮件,说明变化何时对其生效。AI Pro 与 AI Ultra 方案用户仍可使用 Flash-Lite、Flash 与 Pro。
Google DeepMind 首次审计:AI 未加速自身研发,75% 代码由 AI 编写
ChainCatcher 消息,Google DeepMind 在 Gemini 4 Argon 安全报告中公布首次针对机器学习研发自动化的整体实证评估,结论是 AI 并未加速 AI 自身的研发,尽管 AI 已编写该实验室工程师交付的大部分代码。参与评估的研究员 Haydn Belfield 在 X 上表示,目前不存在显著的端到端 ML R&D 加速,因此 AI 驱动 ML R&D 的风险目前较低。团队构建了内部指数 GCI v1,将 123 个 AI 模型在 92 个基准上的得分合成单一数值。前沿 Gemini 能力以约每月 0.1 GCI 点的稳定速度提升,Gemini 1.5 Pro 在 2024 年底接近 0.5 点,Gemini 3.8 Flash 在 2026 年 9 月略高于 2.9 点,Argon 约 3.3 点高于趋势线,但 Belfield 称这源于算力与组织投入增加,而非 AI 驱动的加速。DeepMind 生产代码中超过 75% 由 AI 编写,完全委托的代码合并请求比例在 4 月至 9 月间从 7.5% 升至 11.9%,但约 88% 的请求仍需多轮人工引导或人工编写。对 12 位资深研究者的调查显示,自动化在明确、可验证的执行任务中最高,在开放式科学构想、新实验设计与诊断训练不稳定等环节最低。
Anthropic推出Claude for Google Workspace,已入驻 Docs、Sheets 与 Slides
PANews 10月7日消息,据 Anthropic 官方博客,Claude for Google Workspace 已在所有付费计划上开启公测。用户可通过新发布的插件(add-on)在 Google 文档、表格和幻灯片的侧边栏中直接调用 Claude,由其读取并修改当前打开的文件。在 Docs 中可就地改写文本或以建议卡片形式提交修改;在 Sheets 中可编写公式、生成数据透视表和图表,并调用 Python 处理数据;在 Slides 中可按既有版式新建幻灯片。插件支持"编辑前确认"与"全部接受"两种模式。
Antigravity终于上Claude 5.5:仅限付费Pro订阅及Ultra,旧模型11月退场
动察 Beating AI 快讯,Google 的 AI 编程工具 Antigravity 已接入 Claude Opus 5.5 和 Sonnet 5.5。两款模型向 Google AI Ultra 和 Pro 开放,但 Pro 仅限正式订阅,仍处于免费试用期的用户无法使用。Free 和 Google AI Plus 暂时拿不到 5.5。Antigravity 支持为模型选择 Low、Medium、High 三档思考强度。 Google 同时开始清理旧模型。Claude Opus 4.6、Sonnet 4.6 和 GPT-OSS-120b 都将在 11 月 2 日移除。按当前模型表,如果没有新模型补位,Free 和 Google AI Plus 届时将没有 Claude 或 GPT-OSS 可选,只剩 Gemini 系列。 Google 没有公布 Claude 5.5 的具体额度,只说明 Pro 额度每 5 小时刷新,同时受周额度限制。Gemini 与 Claude、GPT 使用两套独立额度。已经有多名 Pro 用户反馈,Opus 5.5 跑一次任务就可能快速消耗五小时和周额度,有用户称运行约 9 分钟就用掉了一半周额度。
Anthropic 招股书点名台积电,警告先进芯片产能集中台湾
火星财经消息,开发 Claude 的 AI 实验室 Anthropic 在 IPO 招股书中点名台积电,警告全球最先进芯片制造产能高度集中于台湾。招股书称,若台积电营运中断,可能严重冲击 AI 芯片供应,并影响 Anthropic 的业务、财务状况及营运成果。据 MoneyDJ 援引招股书,全球 AI 产业高度依赖台积电先进制程。英伟达、超微等供应商,以及自行设计芯片的亚马逊与 Google,均需由台积电将设计转化为实体芯片。所列风险包括地震、台风、电力与供水中断,以及两岸地缘政治紧张、军事冲突、封锁、关税与贸易限制。招股书还称,若台湾发生重大事件,先进芯片供应可能严重受阻;因替代晶圆厂建设及认证耗时,影响可能持续数年。台湾以外先进制程扩产仍处早期,短期难以有效降低集中风险。台积电因需求旺盛无法完全满足市场,导致 Anthropic 未能及时取得足量芯片。
Anthropic:Claude 已大规模形式化验证开源库
火星财经消息,人工智能公司 Anthropic 旗下 Frontier Red Team 于 10 月 22 日发布研究,称大语言模型已能在更大规模上自动撰写形式化证明。团队与 Theorem 合作,使用 Claude 在 RISC-V 汇编层对超过 100 个真实开源库证明安全性质,并称这是已知首次用 AI 在汇编层对生产软件做大规模形式化验证。写证明过程中还发现了多年未被发现的漏洞。实验将 Google OSS-Fuzz 中已有的可编译 fuzz 测试转为规格:在单线程静态二进制、固定内存预算、RISC-V CPU 与 Linux 等假设下,对小于 64 MB 的任意输入,程序应正常退出且不触发内存安全错误或断言失败。数周内,Claude 在修补所发现问题后,对 123 个 OSS-Fuzz 库中的 239 个入口点证明了上述性质。证明针对编译后的 RISC-V 指令,约 1.8 亿行 Rocq,并由 Rocq 内核检查。页面称,这并不等于这些库没有漏洞,剩余问题可能位于受信任组件或证明范围之外。页面还称,团队让 Claude 形式化 RFC 1950,并在 x86 二进制层证明 Linux 内核中的 zlib 实现符合该规格;用 Rust 编写覆盖 Python 大子集的解释器,对超过 170 万个随机生成程序与 CPython 行为一致的比例为 99.95%。在 36 个小型验证任务上,Opus 5.5 证明其中一半所需 token 比 Opus 5 少约 40%。团队同时指出,证明针对单线程、静态链接的 RISC-V 二进制,且证明检查器不能判断规格是否符合现实。