#AI 快讯
共 17 篇，按时间排序
量子计算十八年猜想
一个悬了十八年的量子计算猜想，被 AI 系统证出来了，三天，外加 Lean 逐步验证
Physical Superintelligence 11 月 6 日称，其内部研究系统用一个未公开的 Anthropic 模型证明了 Aaronson–Ambainis 猜想，证明已通过 Lean 检查。按官方页面整理，说明这个猜想是什么、结论意味着什么、还差哪一步。
Claude做梦整理记忆
让 AI 先“睡一觉”再干活：Anthropic 讲了 Claude 怎么整理自己的长期记忆
Anthropic 11 月 6 日发表工程博客，讲 Claude 如何用“做梦”（dreaming）回头整理、纠错记忆。按官方原文整理：分层记忆、Pokémon 与企业文档两组实验的数据。
Gemini Omni1.2 Flash
做条 15 秒的广告片，现在大约一美元：Gemini Omni 1.2 Flash 上线
Google 11 月 5 日发布 Gemini Omni 1.2 Flash：单条视频最长 15 秒，720p 每秒 0.07 美元，比 1.1 降价 30%，首次正式商用，可在聊天里一轮轮改同一条视频。
Claude个人理财
Claude 能读你的银行账单了：只读、先开放给美国付费用户
Anthropic 11 月 5 日推出 Personal Finance 测试版：通过 Plaid 连接银行和信用卡，用大白话问花销、账单和异常扣费；只读，不能转账，目前仅限美国 Pro/Max/Ultra。
ERNIE 5.5Flash Base
百度开放 ERNIE 5.5 Flash Base 权重：2800 亿参数，每个字只动用 140 亿
百度 11 月 5 日在 Hugging Face 放出 ERNIE-5.5-Flash-Base，预训练阶段的原始模型，280B 总参数、14B 激活，支持 100 万字上下文，官方对比三款同级开源模型成绩领先。
Inkling 2 Small权重下周开放
Thinking Machines 发了第二代模型 Inkling 2 Small，权重要等下周才给
Thinking Machines 11 月 5 日发布 Inkling 2 Small：594B 总参数、17B 激活，支持看图，先在自家 Tinker 平台以闭源权重上线，官方称外部安全测试后下周按 Apache 2.0 开放权重。
ChatGPTImages 2.6
ChatGPT 画图现在能直接出 GIF 动图，还能导出 SVG 矢量图
OpenAI 11 月 4 日发布 Images 2.6：ChatGPT 和 Codex 全档位可用，能一句话生成 GIF、改图更准，API 新增 Flare 和 Sunburst 两个模型，出图快 50%。
OpenAI收购 Pierre
你在 Codex 里翻文件、看改动用的就是 Pierre 的组件，OpenAI 把这家公司买了
OpenAI 11 月 4 日宣布收购 Pierre Computer Company：Codex 的文件树和代码差异视图出自它的开源库，金额未披露，交易待监管批准，开源项目继续开源。
OpenAILinux 漏洞
OpenAI 的网络安全模型一轮扫出 948 个 Linux 提权漏洞，花了 121 万美元
OpenAI 11 月 4 日公开一套自动找漏洞、验证、写补丁的流水线：在 Linux 内核里复现 1724 个漏洞，做出 948 个可用提权利用，API 花费约 121 万美元。
Ripple-65B3200 万美元
花 3200 万美元训出一个 650 亿参数的开源编程模型，Ricursive 的 Ripple 凭什么敢说“美国开源第一”
芯片设计公司 Ricursive 11 月 4 日放出 Ripple-65B Preview 权重：稠密架构、12 万亿 token 预训练，官方称 TerminalBench 2.1 得 80.52，研发总成本约 3200 万美元。
FlashProve可验证推理
你调用的真是商家说的那个模型吗？Anthropic 开源 FlashProve，给每条回复附一份数学证明
Anthropic 11 月 2 日开源 FlashProve：服务商为每条回复生成密码学证明，用户在普通 CPU 上十几秒就能验证回复确实来自约定的模型。成本约为正常推理的 70 到 95 倍，目前只支持 1024 token 以内。
Claude自动连接
Claude 插件不用再一个个点授权了：管理员配一次，全公司登录就连好
Anthropic 11 月 3 日放出 Claude 签发身份的自动连接（测试版），Team 和 Enterprise 管理员配置一次，成员登录即可用上公司的 Notion、Datadog 等插件。
Hyra 2.0腾讯混元 Hyra 2.0：让 AI 不只解题，还自己训出蛋白质模型、改进香山处理器
腾讯混元 11 月 1 日发布 Hyra 2.0 自动化科研系统，称由智能体从头训练了蛋白质设计和分子模拟模型，并给开源处理器香山找出 10 个缺陷。数据均为官方自述，系统未开源。
MessageThreads
Claude API 上线消息线程：长对话不用每轮重传历史，首字等待中位数缩短约 35%
Anthropic 11 月 2 日在 Messages API 开放消息线程公测：服务器暂存对话，之后每轮只发新消息和上一条回复的 ID。价格和速率限制不变，token 消耗也不变。
PandoGit
Codex 把 OpenAI 的代码仓库推到喘不过气，他们干脆重写了 Git 服务器
OpenAI 11 月 2 日公开自研 Git 后端 Pando：按分支各自排队、复用打包文件，中位推送延迟降近 80%，日传输近 1 PB 数据。客户端照旧用 git，目前只在内部使用。
改权重不训练
没训练、没算梯度，GPT-6 Astra 动了小模型 0.016% 的权重，数学分数从 7.9% 涨到 48.1%
MIT CSAIL 四位研究者 11 月 2 日发布博客：让大模型直接读写另一个模型的权重。一个关键数字背后有三个条件，作者自己也说是早期结果。
ChatGPTAPI 额度
ChatGPT Pro 和 Business 订阅每月附送最高 500 美元 API 额度：谁能领、怎么领、哪些坑
OpenAI 10 月 28 日上线订阅附赠 API 额度：Pro 按档位给 100/200/500 美元，Business 按席位池化封顶 500 美元；Plus 不在内，额度当月作废。