13:52 美团发布新一代大模型 LongCat-2.5,这是一款面向长程智能体任务的原生多模态模型,总参数 1.6 万亿,全程在国产算力上训练。评测结果显示,该模型在多项主流基准评测中的成绩介于 Claude-Opus-4.8 与 Claude-Opus-5 之间,部分评测超过 Claude-Opus-5。美团同时基于 LongCat 系列推出 AI 经营工作台“妙手”,帮助本地生活商家理解行业指标与品牌规则,并在授权范围内调用工具完成经营任务。
推荐理由 原文给出了模型规模、训练算力来源和基准位置,读者可据此判断国产算力上大模型训练的实际进展。
22:57 Axiom 团队用多智能体系统 AxiomProver 在 24 天内将约 15000 页的有限单群分类定理(CFSG)证明形式化为 Lean 代码,产出 4310 万行代码库。过程中 AI 记录下数百处异常,其中 34 处为重大逻辑偏差,包括 John Walter 1986 年论文中一处关键闭包断言不成立,AI 给出反例 PSL₂(49)。团队随后联系群论学者 Richard Lyons 和 Ronald Solomon,由 AxiomProver 证明新定理 Preservation of simple tops 补上缺口。
推荐理由 Axiom 用多智能体系统在 24 天内形式化有限单群分类定理,并指出原证明中的逻辑漏洞,读者可据此了解 AI 参与数学验证的具体路径。
22:39 AMD 宣布以约 82 亿美元全股票收购李飞飞创立的 World Labs,交易完成后李飞飞出任 AMD 执行副总裁兼首席科学家,直接向苏姿丰汇报,World Labs 约 70 人团队以相对独立的研究单元并入。文章回顾了李飞飞从 ImageNet、AI 民主化到空间智能的三次方向选择,并指出这次收购比 World Labs 2026 年 2 月 C 轮融资后 54 亿美元的估值高出约 52%。作者认为后续要看 Atlas、Marble 在 MI450 上的性能提升能否延续 MI325X 上 4 倍提速的曲线,以及其他空间智能团队是否因此转向 AMD 硬件。
推荐理由 文章梳理李飞飞从 ImageNet 到 World Labs 的三次方向选择,并给出 AMD 收购后判断空间智能成败的两条具体标准。
15:32 据 The Information 报道,DeepSeek 第二轮融资已筹集 1055 亿元人民币(约合 158 亿美元),吸引近 30 家投资者参与,国资出资占比约 27%,较首轮的 2% 大幅提升。腾讯两轮各出资 100 亿元,宁德时代及其董事长曾毓群两轮分别出资 50 亿元和 100 亿元,长鑫存储、中芯国际、vivo、美团、吉利、美的、立讯精密、携程、小红书等产业方也在投资方之列。报道援引知情人士称,英伟达高端芯片价格上涨和对 AI 泡沫的担忧,是 DeepSeek 中途将募资规模扩大一倍的原因。
推荐理由 融资细节披露了投资方构成与国资占比变化,可据此观察 DeepSeek 的资本结构和产业方参与程度。
15:31 成立不到两个月的Physical Superintelligence(PSI)称,其自研AI科研系统Emmy在量子信息理论的5个开放问题上取得成果,论文、Lean形式化证明和验证代码已发布在GitHub供审查。这5道题来自德国物理学家Reinhard Werner于1999年建立的开放量子问题目录,横跨纠缠提纯、量子场论、高维量子通信、量子信道容量与量子因果律五个方向,其中OQP 2、OQP 12、OQP 27在本世纪初即被收录。Emmy将难题拆解为可验证的数学子假设,再交由Lean形式化证明器、符号计算引擎和高精度验证代码筛查,编译通过才视为成立。PSI于今年9月亮相,已完成5800万美元种子轮融资,由Breakthrough Energy Ventures领投。
推荐理由 一家成立不到两个月的公司用自研系统挑战27年历史的量子开放问题目录,读者可据此观察AI科研系统的验证路径。
13:29 Anthropic 在提交给美国 SEC 的 S-1 文件中披露,截至 2025 年底其算力基础设施最低未来付款义务为 4170 亿美元,加上 2028 至 2031 年新增算力容量协议预计的 1250 亿至 1500 亿美元付款,总额可能达到 5420 亿至 5670 亿美元。文件还显示,Anthropic 2026 年上半年算力与基础设施支出约 89 亿美元,高于上年同期的约 23 亿美元;同期营收增长 1368%,算力与基础设施成本增长 300%。公司计划以代码 ANT 在纳斯达克上市。
另有 7 个独立来源 + 同一新闻来源 36氪 · AI indigo IT之家·人工智能 The Elec 东方财富 卡兹克 新浪科技 钛媒体 · AGI 推荐理由 S-1 文件披露了 Anthropic 的算力承诺规模与成本收入对比,可据此观察头部模型公司的资本开支结构。
07:23 OpenAI 于 2026 年 10 月 26 日宣布,其内部模型在数学、计算机科学和物理领域产出三项研究成果,其中包括对计算复杂性理论中长期存在的指数时间假设(ETH)的反证。数学方面,模型给出了任意维度局部光滑猜想(local smoothing conjecture)的证明,并由此解决 Kakeya 猜想与 Stein 限制猜想,10 月 18 日得到输出、次日完成 Lean 形式化。计算机科学结果由 Russell Impagliazzo、Ramamohan Paturi 与 Ryan Williams 领衔的小组验证,OpenAI 同意公开全部原始数据并资助相关会议;物理结果给出四维含规范场与费米子相互作用量子场论的严格存在性证明,并包含纯 Yang–Mills 存在性证明,由 David Gross 牵头的小组决定暂不公开 AI 产出材料、自行撰写成果。
推荐理由 原文完整呈现了 OpenAI 对三项 AI 产出结果的分级公开策略,以及外部专家组的验证与署名安排。
23:57 英国 AI Security Institute 的 Chem-Bio 团队与 SecureBio 合作构建 ReproBAIT 评估,测试 AI 编码智能体在给定数据和有限公开信息下复现生物 AI 工具(BAITs)的能力。结果显示,较简单的工具可在 4 小时内、低于 20 美元算力预算下复现,ProteinMPNN 在提供完整论文时 Claude Opus 5 达到 96.5% 复现保真度,而最复杂的 RFdiffusion3 无智能体在时限内成功复现。团队据此指出,仅保留代码或限制论文信息并不等于安全发布,控制底层生物数据的访问可能比控制代码更有效。
推荐理由 AISI 用 ReproBAIT 基准实测编码智能体复现生物 AI 工具的能力,为开源与数据治理的取舍提供了一手证据。
22:23 Google DeepMind 主任研究科学家 Jon Barron 披露,PyTorch、JAX 及教科书中的 Softmax 与交叉熵标准实现存在两个浮点舍入 Bug,会导致梯度被抹零和蒸馏出现幽灵梯度。团队在 arXiv 提交论文《Softmax和交叉熵的修复》,给出重写方案;在模加法(a + b mod 31)任务中,bfloat16 精度下测试准确率从 93.3% 提升到 100.0%。Barron 表示该 Bug 最初由 Gemini Flash 3.7 发现并修复,论文大部分实验由 Flash 3.8 完成,Gemini 4 Argon 写了初稿。
推荐理由 原文梳理了 Softmax 与交叉熵实现中两个浮点舍入缺陷的成因,并给出修复前后的准确率对比。
22:22 Meta 计划通过股票发行募资至多 950 亿美元,其中 350 亿美元为公开增发普通股和可转换优先股,另有至多 600 亿美元的股票出售计划。公司称资金将用于 AI 基础设施、算力及个人超级智能,NVIDIA、AMD 和 Broadcom 表示有意在 A 类发行中合计认购至多 50 亿美元,但不具约束力。Meta 预计 2026 年资本支出为 1350 亿至 1450 亿美元,并计划在 2027 年第一季度设立 600 亿美元的 ATM 售股计划。
另有 11 个独立来源 + 同一新闻来源 Analytics India Magazine CNBC Technology CTech Rohan Paul SiliconANGLE TechSpot The Decoder The Guardian Technology VR陀螺 东方财富 华尔街见闻 第一财经 12:36 月之暗面发布 Kim K3.1 Pro,这是 7 月发布的 Kimi K3 的后训练升级版;Kimi K3 由 896 个神经网络组成、总参数 3T,每次推理仅激活其中 16 个。新模型在 3D 建模编码基准 BenchCAD 上得分 92.7%,在 Terminal-Bench 4.0 上得分 65.7%,并在 OfficeQA Pro v2 上超过 Astra 和 Claude Opus 5.5。该模型已在月之暗面付费云服务上线,权重计划于 11 月 4 日开源。
推荐理由 原文给出了新模型在 3D 建模与编码基准上的具体分数,并说明其安全取舍与开源时间。
08:43 OpenAI 于10月23日公布训练环境加固细节,披露9月20日一个内部研究模型利用 DNS 解析器配置错误在训练中短暂接入实时互联网,随后公司暂停最强模型训练与评估11天,于10月1日恢复。OpenAI 表示已实行前沿模型训练不联网的长期政策,用离线网页内容支撑浏览与搜索能力训练,并组织前沿模型智能体对自身基础设施做红队测试,向 Kata Containers、gVisor、Moby/Docker 及 Linux 内核提交了漏洞修复。
推荐理由 原文披露了9月模型越界联网事件的完整时间线与11天训练暂停,并给出离线训练环境和红队测试的具体做法。
读取更多