Miyunel.像追番一样追 AI 新闻

少点确认，多点证明

大额融资、自动放行与 AI 证明代码

短片 2:32漫画 5 格5 条新闻约 3 分钟看完
本话登场DeepSeekDeepSeekClaudeClaudeGPTGPT
2026年10月
12345678910111213141516171819202122232425262728293031

据报 DeepSeek 新一轮融资约 150 亿美元；Claude 将默认启用 auto mode；OpenAI 正式发布 Decisions API；Microsoft AI 诊断系统 MAI-DxO 论文登上 Science；Anthropic 用 Claude 为 123 个开源库做形式化安全证明。

看漫画长图 ↗

第 1 格漫画：DeepSeek。据彭博社报道，DeepSeek 新一轮融资约 150 亿美元，谈判中目标至少两次上调；宁德时代和腾讯是最大投资方之一，投前估值约 748 亿美元。 对白：DeepSeek「又加码了？！」
01融资DeepSeekDeepSeek · DeepSeek

彭博社：DeepSeek 新一轮融资约 150 亿美元

一句话看懂DeepSeek 又拿到一大笔钱，资金将投向和开放模型。

  • 融资约 150 亿美元（约 1000 亿元人民币），是中国规模最大的私募融资之一
  • 谈判期间目标至少两次上调，从约 75 亿美元提高到 120 亿美元，最终约 150 亿美元
  • 宁德时代和腾讯是最大投资方之一，宁德时代据报出资约 15 亿美元
来源 · techcrunch.com
第 2 格漫画：Claude。Claude 宣布，下周起 Pro、Max 和 Team 套餐在网页、桌面和移动端的会话默认以 auto mode 运行：不再逐步请求批准，由自动检查拦截高风险操作，用户可随时切回手动。 对白：Claude「危险操作我先拦下」
02产品ClaudeClaude · Anthropic

Claude 网页、桌面和移动端将默认启用 auto mode

一句话看懂以后用 Claude 不用每一步都点确认，危险操作交给自动检查拦。

  • 下周起，Pro、Max 和 Team 套餐的会话默认以 auto mode 运行
  • 不再逐步请求用户批准，由自动检查拦截高风险操作，用户可随时切回手动模式
  • Claude Code 的 auto mode 用独立分类器审查 shell 命令，测试中拦截了 89% 的危险命令
来源 · x.com
第 3 格漫画：GPT。OpenAI 正式发布基于 GPT-6 Luna 的 Decisions API，用于分类、路由、评分等有界答案问题，速度最高比通过 Responses API 使用 GPT-6 Luna 快 10 倍。 对白：GPT「左边！右边！下一个！」
03产品GPTGPT · OpenAI

OpenAI 正式发布 Decisions API，专做低延迟、低成本的小决策

一句话看懂应用里大量“选哪个、走哪条路”的小判断，现在有了更快更便宜的专用接口。

  • 基于 GPT-6 Luna，用于分类、路由、评分等有界答案问题，最高比经 Responses 调用快 10 倍
  • 支持概率、选项、评分三种答案类型，单次请求最多 400 个问题，并原生接入 GPT-Live
  • 输入 0.10 美元， 0.01 美元，不收输出 费用
前情第 8 话OpenAI Decisions API 公测上线
来源 · openai.com
第 4 格漫画：DeepSeek。Microsoft AI 发布诊断系统 MAI-DxO 与 SDBench 基准，论文登上 Science；在 NEJM 复杂病例上准确率 83%，医生查资料时为 36%。 对白：DeepSeek「会诊开始！」
04研究Microsoft

Microsoft AI 发布诊断系统 MAI-DxO 与 SDBench 基准，论文登上 Science

一句话看懂微软让多个 AI 像会诊一样一步步看病，在模拟病例里比医生更准、更省检查。

  • MAI-DxO 像一组虚拟医生，多轮提出诊断、选择检查并互相质疑，同时权衡检查成本
  • 在 NEJM 复杂病例上准确率 83%，医生查资料时为 36%、不查资料时为 22%
  • 在急诊常见病例（MIMIC-IV-ED）上为 80% 对医生 47%；部分 NEJM 病例的 SDBench 代码将
来源 · microsoft.ai
第 5 格漫画：Claude。Anthropic 与 Theorem 合作，用 Claude 把 OSS-Fuzz 模糊测试转化为规格，对 123 个开源库的 239 个入口点证明任意 64 MB 以下输入不崩溃，生成约 1.8 亿行 Rocq 证明。 对白：Claude「这些都证明过了」
05安全ClaudeClaude · Anthropic

Anthropic 用 Claude 对 123 个开源库完成汇编级形式化安全证明

一句话看懂AI 不只找漏洞，还能用数学证明某些代码不会崩，让形式化验证用得起了。

  • 与 Theorem 合作，把 OSS-Fuzz 的模糊测试转成规格，在 RISC-V 二进制上做证明
  • 对 123 个库的 239 个入口点证明任意 64 MB 以下输入都不会崩溃，生成约 1.8 亿行 Rocq 证明
  • 证明过程中发现并修复了数百个漏洞，其中一些是模糊测试很难找到的
来源 · anthropic.com

本话到此为止，明天接着追。

全部日报

漫画与配音怎么做 →

漫画模式
分享成漫画