世纪猜想一夜崩塌：OpenAI与Anthropic同日证伪ETH，Gemini 4 Carbon同步登顶

10月28日，理论计算机科学界迎来了自己的「地震时刻」。OpenAI 当天宣布，其内部前沿模型产出了「指数时间假设」（Exponential Time Hypothesis，ETH）不成立的证明，并将证明本身与一份机器可检验的 Lean 形式化验证结果一并公开在 GitHub 上；仅仅几个小时之后，Anthropic 也发布了自己对 ETH 的证伪结果。一个提出于 1999 年、被视作计算复杂性理论基石之一的猜想，在同一天里被两家头部实验室以两种方式「拆解」，这在过去是不可想象的场面。

ETH 的表述并不复杂：它断言某些逻辑问题必然需要指数级时间才能求解。但正是这个看似朴素的技术性假设，支撑着大量密码学构造与算法设计的下界论证。OpenAI 表示，已邀请由 Russell Impagliazzo、Ramamohan Paturi 与 Ryan Williams 三位学者组成的独立小组对证明进行审查。Williams 初步查看后的评价颇为微妙：证明中有相当一部分「看起来是常规操作」，但有两三处「像外星人写的」的环节需要仔细审视。而 Anthropic 方面的数学家 Levent Alpöge 则指出，OpenAI 的证明建立在已有工作之上。两家实验室的「撞车」，让这场世纪猜想的最终命运多了几分戏剧性。

同日证伪：一个 27 年猜想的两份 AI 证明

这不是 OpenAI 第一次在数学与理论计算机科学领域「放大招」。本次与 ETH 证伪一同公布的，还有局部平滑猜想的证明，以及对包含量子色动力学在内的量子场论存在性证明，三项成果横跨数学、计算机科学与物理。据 TechCrunch 等媒体报道，如果 ETH 证伪最终通过独立审查成立，其影响将远超论文本身——大量建立在指数时间假设之上的密码学安全性论证与算法下界分析都需要重新审视，MIT 的研究人员仍在消化其中的意味。

更值得关注的是发布方式本身。OpenAI 这次尝试了一套新的成果发布流程：为每项结果指派外部专家组「护航」，策略从立即公开 AI 产出物到推迟发布不一而足。与此同时，Anthropic 在数小时内跟进自己的证伪结果，也展示出头部实验室在基础理论赛道上「贴身肉搏」的新常态。对学界而言，争议同样存在——The Verge 的报道指出，仍有研究人员对 AI 实验室在成果披露上的保留态度感到不满。当证明的作者不再是「人」，署名、 credit 与验证责任该如何分配，正在成为比结论本身更棘手的议题。

从千禧难题到 722 篇手稿：AI 的数学攻势已成体系

把视野拉开，ETH 只是 AI 数学攻势的最新一役。今年 9 月 8 日，OpenAI 曾扔出一份宣称攻克纳维–斯托克斯方程这一千禧年难题的证明；据 AITNT 报道，AI 写下这份证明只用了 88 小时，而人类数学家读懂它却花了约 7 周。这种「写作与阅读速度的极端不对称」，正是当下 AI 科研成果的真实写照——生成不再是瓶颈，验证才是。OpenAI 近期还公开了内部前沿模型产出的 722 篇数学手稿，数量本身就在刷新外界对「AI 科研产能」的认知。

Anthropic 在这条赛道上同样战绩可查：其数学家团队此前的工作从黎曼假设附近的零点区问题出发，一路推进到让 Ellenberg–Venkatesh 一个沉睡 19 年的猜想获得无条件证明。再加上谷歌 DeepMind 此前登《科学》杂志解开 56 年数学难题，头部实验室已经把「AI 冲击基础科学」从偶发事件做成了连续剧。与单点突破相比，更深远的变化在于科研组织方式：人类学者越来越像「评审与策展人」，而 AI 承担了大量的候选生成与初筛工作。

谷歌同日出牌：Gemini 4 Carbon 登顶智能指数

就在 ETH 证伪刷屏的同一天，谷歌 DeepMind 发布了新一代前沿模型 Gemini 4 Carbon。据 AITNT 报道，Gemini 4 Carbon 以 59 分登顶 Artificial Analysis 智能指数 v5.0，并在网络安全、长程任务等多项评测中取得领先成绩。其中网络安全基准 SEC-bench Pro 上，其在无防护栏设置的评测中取得 88.2% 的成绩，这一数字直接解释了它为何把首批开放对象锁定为网络防御者——通过 Fairwind 项目定向释放给选定的安全从业者，之后再逐步向开发者、企业和消费者开放。

价格上，Gemini 4 Carbon 的入门定价为每百万输入 token 2 美元、输出 10 美元，推广期后为 4 美元与 20 美元。把它放进近期的发布序列里看，压力意味显而易见：OpenAI 的 GPT-6.1 Terra 刚刚把电脑操作类任务的价格打到了每百万输入 1 美元、输出 5 美元，Gemini 4 Carbon 在能力冲顶的同时必须给出有竞争力的价码。前沿模型的竞争已经从「数月一次的大版本」变成「按周计价的贴身巷战」，而安全能力正在成为企业市场差别定价的新筹码。

开源阵营不平静：扩散模型杀进 Agent 主场

10 月 28 日当天，深圳的扩散智能（DiffuSpace）发布并开源了 Clover-35B-A3B-Preview。这个采用 MoE 架构的模型总参数 350 亿、单 token 激活约 30 亿，源自 Qwen3.6，采用「块扩散」路线：以掩码位置开启一个块，并行填充高置信度位置，直至整块解析完成。官方 Demo 中，从 20 条空管报文提取地点与半径、为无人机设置禁飞区的任务，Clover 用 7.32 秒完成，对照的自回归模型 Qwen3.5 耗时 62.3 秒；内部测试中其整体生成速度达到 680 tokens/s。在 SWE-bench Verified、Terminal-Bench 2.1 与 τ³ 等六项智能体评测中，它均取得所列模型的最高分（分别为 73.6、51.7 与 65.3），权重以 Apache 2.0 许可开放。这支由香港大学 NLP 实验室联合主管孔令鹏及其学生创立的团队，近期刚连续完成两轮合计数亿元人民币的融资，下一步还将推出决策模型与多模态模型。

开源世界的另一面属于「小而美」。面壁智能同期开源了 MiniCPM-OCR 1.0：仅 1.3B 参数即在四项 OCR 任务上取得 SOTA 并登顶吞吐榜，其搭档 MiniCPM-OCR Jev 专门为识别结果校准置信度，不达标时自动触发重读或转人工复核——这种「小模型+校验器」的组合，恰好命中文档处理这类对成本与可靠性同时敏感的落地场景。英伟达则开源了 Nemotron 3.5 Transcribe，一个支持 40 种语言转录、可区分最多 8 位说话人、最长处理一小时音频的语音模型，采用 OpenMDW-1.1 许可并支持离线运行，同时放出覆盖 48 种语言、总量 46.3 万小时的 Granary v2 数据清单。

AI 走进药房：Anthropic 买下一家「一人药企」

生物医药是本周另一条值得记录的暗线。Anthropic 在 10 月 27 日的研究进展披露中确认，已收购一人生物技术公司 Mithril Medicine——这家公司正开发两种罕见型肌营养不良症的疗法，其创始人 Cody Tranbarger 此前借助 Claude 协调了 11 家外部实验室的工作，相关研究此后将在 Anthropic 内部继续，目前结果处于小鼠阶段，若后续研究支持，最早 2028 年底进入人体试验。与此同时，Anthropic 公布了与包括 BigHat Biosciences、Generate Biomedicines 在内的六家药企的合作，覆盖抗体设计、生产文档与临床规划；其中 Enveda 披露，用 Claude 辅助审查 1061 页文档，把人类专家的审查时间从 25 小时以上压缩到 3 小时以内，且人类始终留在流程之中。

国内方向同样热闹：一家国产团队宣布其 AI 制药平台 19 个项目 18 个成功、6 个 GPCR 靶点全部命中；AI Native 生物制药公司百奥几何（BioGeometry）则完成 A+ 轮融资，中国人寿出资近 7 亿元人民币，其 A 轮系列融资总额已超 1 亿美元。从巨头自建管线到险资加注，AI 制药正在从「论文叙事」切换为「资本叙事」。

花边与冷思考：编程面试退场，资本抢筹 Meta

行业边缘同样不乏信号。Anthropic 据报已从招聘流程中取消了传统编程面试，内部流传的说法是「饥饿感胜过资历」——既然编码能力已被 AI 大幅拉平，面试题作为筛选信号的意义自然下降。1Password 则让 AI 智能体可以代替用户登录各类服务，全程无需接触真实密码；苹果在 Pages、Keynote 与 Numbers 中全线加入 AI 助手；OpenAI 还发表了《The Future of the Firm》一文，讨论智能体嵌入企业组织后，工作流、汇报线与决策权该如何重排。

资本市场的动作更直白：在 Meta 宣布约 950 亿美元的股票发行计划（含 350 亿美元包销与 600 亿美元的 ATM 计划）后，英伟达将认购 30 亿美元、AMD 认购 10 亿美元，芯片巨头直接为竞争对手的 AI 基建「输血」。冷思考的一面同样存在：美国特拉华州一项允许 AI 运营公司的草案引发众议院监督调查，而肯塔基州一名男子以人文主义宗教理由获得了全美首例「不使用 AI」的工作豁免——当 AI 既在证伪世纪猜想、又在决定谁能不用它，这个行业的纵深才真正显形。

回顾这一周，一条主线愈发清晰：AI 正在同时冲击两个「根基层」——科学认知的根基与资本市场的根基。前者需要人类学会验证机器生成的证明，后者需要市场为巨额算力承诺找到回报路径。接下来值得盯住的节点包括：ETH 证伪的独立审查结论、Gemini 4 Carbon 向开发者的全面开放，以及 Clover 决策模型的落地表现。猜想可以被一夜证伪，但信任只能一天天建立。