谁来复核：一条自己公布的成绩、一笔超过一成的利息和一份四百页的推导
十月十七日，DeepSeek 发了一个新版本的编程模型，所有成绩都是公司自己公布的，没有第三方复测。
0:00 / 9:53
十月十七日这一天，AI 的进展出现在四个不同的地方，却都停在同一个环节上：东西已经做出来了，接下来要有人确认它成立。一条模型自己签字的成绩单，一次市场用现金流重算的估值，一封要求上市前先讲清治理的信，一份四百页、最后由另一组人做形式化验证的证明，还有一套必须通过业务化评审才准上岗的气象系统。
一条基准，自己签字
十月十七日，DeepSeek 把 V4.1 Flash 更新到带日期后缀的 1017 版本，网页端、App 与接口同步切换。官方公告把这次更新定性为「性能—费用的帕累托改进」：在提升基准成绩的同时，缩短了任务运行时间与输出长度，在几个编程框架下达到了新的性价比最优点1。
分数是这样的：DeepSWE v1.1 拿到 77.0，上一版 V4.1 Flash 为 74.2，Claude Opus 5 为 74.0；Terminal-Bench 4.0 是 42.3，Claude Opus 5 为 51.8；无工具的人类最后考试（HLE）42.6，对方 56.3。领先和落后同时存在：它在编程与智能体几项上领先，在终端任务、程序生成和知识测试上落后2。
费用侧没有涨价。接口仍是一百万输入词元 0.30 美元、输出 1.20 美元（峰值档，低谷减半），调用名仍是
deepseek-flash。公司还说明，这次针对 DeepSeek Harness、腾讯 CodeBuddy、WorkBuddy 做了适配，使用这些框架需要升级到 Harness 0.2.1-rc.1 及以上，才能拿到新模型的效果1。同一份公告里还有两个动作。搜索与抓取接口（Search、Fetch）对外开放，各 5 元／千次；在 Harness、Claude Code、Codex 里已经生效的调用暂时不计费，十一月一日零点起按次收取。模型权重放上 Hugging Face 与 ModelScope，但公告没有写许可证条款12。
值得留意的是这些数字的出处：基准由公司自己跑，对比对象由公司自己挑，分数由公司自己报。搜索接口的开放则改变了另一件事——过去独立存在的搜索服务商，被并进了模型厂商自己的接口。
市场的复核从现金流开始
到十月十六日收盘，费城证券交易所半导体指数已经连续八个交易日下跌，是二〇〇八年金融危机以来最长的一次连跌。英伟达在这八个交易日里有七天下跌；英伟达持股的云计算公司 CoreWeave，一周市值损失四分之一，债券价格跌到通常意味着困境的水平3。
美银的分析师在周五的报告中给出了判断：AI 投资正在走一个典型的资本周期，早期利润率高，引来过度投资与过剩产能，最后以失望收场，尽管技术本身往往兑现了承诺。他们点出两个压力源——竞争，尤其来自中国的开放权重模型；以及企业 AI 支出开始下降，词元用量上升抵不过单价下跌4。
借钱本身也更贵了。油价与再次加息把债券收益率推到二十多年来的高位，而 AI 建设越来越依赖发债，两件事叠在一起，风险资产的定价开始被重算4。
Gartner 在十月十四日算过一笔更完整的账：到二〇三〇年，AI 数据中心的业主需要累计产生 8.5 万亿美元收入，才能覆盖已宣布的资本开支、融资成本，以及资本要求的 12% 投资回报率；而可归属于 AI 数据中心的全部企业加消费者收入，最多 3.6 万亿美元。缺口意味着超过 4 万亿美元的资产价值到二〇三二年都可能面临减值，八成以上的新型云厂商到二〇三〇年将停止独立运营5。
黄仁勋在柏林被问到这轮下跌，回答是「这一切都会过去」，理由是 AI 会改变每一个行业，投资者应该盯第一性原理、盯基本面。CoreWeave 首席执行官 Mike Intrator 在给员工的备忘录里说，公司手上的订单足以覆盖债务；黄仁勋也称这家公司不需要财务兜底34。
同一周的另一张价目表更能说明「钱的价格」。《金融时报》报道，Anthropic 为最新一笔芯片融资向黑石开出超过 10% 的收益率；黑石旗下基金拟投入 90 亿美元，这笔债务由 Anthropic 对芯片的五年租约付款背书。路透社转述该报道时说明，未能立即独立核实6。
抵押品不是股权，是未来五年的租金。一家准备按约两万亿美元估值上市的公司，买芯片要付两位数利息——故事的价格和钱的价格，是两张不同的表。
公开市场自带的那道审查
十月十四日，纽约市审计长 Mark Levine 致信 Anthropic 首席执行官 Dario Amodei，要求公司暂停首次公开募股，直到它把自己提出的安全与治理问题透明、完整地解决7。
Levine 监管的公共养老基金资产超过 3,250 亿美元。他在信中的逻辑是：其中部分基金跟踪指数，而指数预计很快会把 Anthropic 纳入，纽约公务员的退休金将在无人替他们选择的情况下持有这家公司的股票。信里要求公司优先建立一套治理机制，回应公司自己以及行业研究者提出的担忧；信中还写道，上个月特朗普政府与包括 Anthropic 在内的 AI 公司达成的「有道德约束力」的安全协议，不足以应对当前局面7。
十月十六日接受采访时，Levine 说 Anthropic 已与他建立沟通渠道。他表示担心的不是上市本身，而是上市之后发生一次远超目前水平的安全事故，股价要承受到什么程度；「现在多花一点时间把这件事做好，要好得多」7。
公司这边的进度没有停：计划最早下个月上市，募资规模可能达到甚至超过 SpaceX 那次创纪录的发行；本周在总部会见了部分投资人，披露三季度收入 168 亿美元7。
安全承诺在私募阶段是自愿的，进了公开市场就变成披露义务与法律责任。这道门，是上市自己带进来的。
机器写证明，人核验证明
数学这边，一个困扰学界三十多年的问题——三维 Ghys 猜想——被宣告破解。猜想由法国数学家 Étienne Ghys 于 1995 年提出，问的是混沌的动力系统行为能否决定几何上的分类。
完成它的是上海人工智能实验室访问学者、大湾区大学教授许地生团队，用的是实验室的书生科学多模态大模型 S2。过程不是一问一答：模型针对猜想的第一轮推理产出了 400 页推导报告，其中既有可用的思路，也有走不通的路；团队抓住关键处反复反馈，先后完成 7 批接续推演，问题图从 15 个节点扩展到 389 个，累计输出近千页推导，最终拼出完整证明链条8。
卡得最久的是许地生的学生张洁松，现就职于瑞典皇家理工学院，这个问题从他读博士起一直跟到现在。他把卡住的关键点拿去问模型，模型给出了不少他不熟悉的、来自微分几何的观点与思路8。
证明写完还不算完。北京大学董彬教授、刘若川院士团队用其开发的 SHEAF 框架，对这份证明完成了形式化验证8。
数学界对这类成果并不一致欢迎。九月十一日，二十五位菲尔兹奖得主联名发表声明，担心 AI 公司把解决难题当作能力基准，数学家来不及核验结果、识别新方法、厘清已有研究的贡献，成果先进了宣传材料；声明也承认 AI 有潜力加速数学研究，最终影响取决于开发者与数学共同体如何使用它。十月十一日，清华大学讲席教授丘成桐用「海啸」形容 AI 对数学研究的冲击，主张站上去冲，而不是躲开8。
这条最值得记住的不是模型有多强，而是流程：机器生产证明，人来核验证明。瓶颈从解题挪到了核验。
通过评审才算上岗
十月十七日，国家超算互联网宣布，「风清」人工智能全球短中期集合天气预报系统 V1.0 通过业务化评审，正式投入全国气象业务运行。它由国家气象中心牵头，联合雄安气象人工智能创新研究院、国家气象信息中心与国家超算互联网等单位研制，训练与迭代全程依托国家超级计算天津中心的十万卡 AI4S 科学计算集群9。
指标上，全球有效预报时效达到 11 天，多项核心预报指标、概率预报精度与离散度误差控制均优于欧洲中期天气预报中心（ECMWF）最新的人工智能集合预报系统；依托天津超算，数分钟即可完成全球大范围气象要素推演。系统的核心算力、底层算法与数据源均实现国产化，采用视觉 Transformer 架构与气象物理约束算法，投入运行后服务防灾减灾、交通运输、能源调度等领域9。
为什么非得过业务化评审？因为气象预报要签字担责：报错了，航班、电网、撤离安排都会跟着错。评审过不去，模型再好也只能留在论文里。这也给了一个判断 AI 成果是否真落地的抓手——有没有第三方评审，有没有人愿意在错的时候负责。
证据强度：DeepSeek 的版本、接口价格、开放接口与权重下载地址来自公司自己的公告；基准分数来自公司自己公布的表格，没有第三方复测，许可证条款未在公告中说明。市场部分，指数连跌与 CoreWeave 的股价、债券状况来自财经媒体的行情报道，8.5 万亿美元的测算来自 Gartner 新闻稿原文，资本周期的判断来自美银分析师报告、经媒体转述。Anthropic 的融资条件来自《金融时报》报道，路透社转述并说明未能独立核实。「有道德约束力」的安全协议为信中转述。三维 Ghys 猜想与书生 S2 的部分来自第一财经对上海人工智能实验室及研究者团队的采访，形式化验证由北京大学团队完成。气象系统来自国家超算互联网的发布与香港文汇报的报道。
References
- 1DeepSeek API Docs — DeepSeek V4.1 Flash 新版本：许愿式编程一键成真
api-docs.deepseek.com
- 2
- 3新浪财经（环球市场播报）— 黄仁勋谈AI市场震荡「这一切都会过去」
finance.sina.com.cn
- 4
- 5
- 6
- 7新浪财经（环球市场播报）— Anthropic与纽约市审计长建立沟通渠道 后者之前呼吁推迟IPO
finance.sina.com.cn
- 8第一财经（新浪财经转载）— 国产大模型攻克世界级数学难题
finance.sina.com.cn
- 9IT之家（新浪科技转载）— 我国首个全自主可控气象 AI 集合预报系统「风清」正式投入业务运行
finance.sina.com.cn
This story was produced automatically by a channel. One sentence is all it takes for Neodrop to keep producing for you.