AI 要闻五条｜OpenAI 把要价降到 1.25 万亿美元，Claude 给 123 个开源库写了 1.8 亿行证明 (2026)

详情

公司

【OpenAI 把要价从 1.4 万亿降到 1.25 万亿美元，再谈 300 亿美元】

OpenAI 正在敲定一轮最高 300 亿美元的融资，投前估值 1.25 万亿美元，由阿联酋的投资基金与 Coatue 领投。1 本月初摩根士丹利与 Dragoneer 向客户推介时报的仍是 1.4 万亿美元，新价低了 1500 亿。2 公司把这轮定位为上市前的「机会性」过桥融资，并告诉投资人争取下周内拿到签字。1 它同时在谈一份商业协议，锁定更多阿联酋算力；今年 2 月它给出的目标是 2030 年前算力支出约 6000 亿美元。1 上一轮是 3 月的 1220 亿美元，当时估值 8520 亿美元，1.25 万亿比之高约五成。3 价格往下走，意味着这轮由出资方定价，跟投的人要按更低的账面价格重排仓位；公司拿到的这笔钱，则是上市前最后一笔大额过桥。

【美国财政部拟议规则，把对华 AI 与超算投资纳入审查】

10 月 22 日，美国财政部公布拟议规则，把 2023 年行政令设立的对外投资审查扩到更多技术和国家：超音速系统、超级计算、生物技术、人工智能都在其中。4 规则落实的是 2025 年 12 月国会通过的《全面对外投资国家安全法》，受关注国家包括中国、俄罗斯、朝鲜、古巴、伊朗。4 它只覆盖 5 万美元以上的投资，买股票等一部分财务性投资被排除在外。4 财政部要先收公众意见再定终稿，一位前贸易官员说，这只是漫长流程的第一步。4 中国外交部发言人毛宁回应，把国家安全概念泛化、对特定国家搞歧视性做法，对谁都没有好处。4 对做跨境交易的人来说，合规成本被提前到签约之前：美国资金要进中国的 AI 与算力公司，先得判断这笔钱算不算受管辖的投资。

监管

【中国 AI 出口管制进入执行，DeepSeek 与 MiniMax 完成登记】

10 月 16 日，商务部、科技部就修订《中国禁止出口限制出口技术目录》征求意见，拟增列大模型、智能体、算力集群等 23 项 AI 技术，并同步启动出口前临时登记。5 10 月 22 日晚，央视旗下「玉渊谭天」称，公告发布以来 DeepSeek 与 MiniMax 已完成登记，开源与海外授权照常。6 商务部答问划了边界：已开源或发表论文进入公共领域的技术不纳入管理；开源、境外自建自营算力中心、境外流片等情形适用自动许可，基本「即报即出」。5 大模型出海算不算技术出口看部署形态：海外本地化部署要管，境外自有云可自动许可；API、App、SaaS 与端侧部署不在管理范围。5 这道登记没堵住开源，却把「出海怎么部署」变成谈代理前要写清的一件事。

模型

【微软 MAI-DxO 登上《科学》：疑难病例准确率 83%，会诊能力压过医生】

10 月 22 日，《科学》刊出微软的论文，主角是诊断系统 MAI-DxO：它不让单个模型直接给答案，而是让一组智能体像医生会诊那样互相质疑，从主诉开始决定问什么、开哪些检查。7 在 304 个《新英格兰医学杂志》疑难病例上，它诊断对了 83.2%，能查资料的全科医生是 36.1%；换成该院急诊病例，两者是 80.3% 与 46.8%。7 按成本优化后，它在疑难病例上仍有 81% 的准确率，检查费用不到对比系统的一半。8 换成后来的 GPT-5.5、不动编排方法，成绩还略有上升。8 微软开源了部分基准，并准备与贝斯以色列女执事医疗中心做前瞻研究。8 诊断因此被拆成「问什么、查什么」的决策题；不过它只在写好的病例上考过，能否进诊室还没有答案。

研究

【Claude 为 123 个开源库写出 1.8 亿行证明，在机器码层面证明不会崩溃】

Anthropic 与 Theorem 合作，让 Claude 在 RISC-V 汇编层面证明：123 个 OSS-Fuzz 开源库的 239 个入口，在 64MB 以下任何输入下都不会崩溃。9 这些证明合计约 1.8 亿行 Rocq 代码，单个证明常在 60 万行量级，而被证明的二进制中位长度只有 1.8 万条指令。9 过程中 Claude 找出几百个漏洞并打上补丁，包括要 20MB 特定输入才触发的计数器下溢、需要 64MB 输入和 2GB 内存的越界读，以及 libexpat 的旧漏洞。9 证明已公开在 GitHub 上。10 范围仍窄：只覆盖单线程静态二进制、固定内存预算、RISC-V 加 Linux；但成本降下来后，过去只有航电系统做得起的验证，普通开源库也用得起了。