彭博社 10 月 6 日消息，DeepSeek 新一轮融资接近锁定至少 800 亿元人民币（约 120 亿美元），远超最初约 500 亿元目标，为 2027 年初 IPO 铺路；已签署的投资条款清单显示最终总额有望逼近 1000 亿元，刷新中国 AI 单笔融资纪录。
某款未发布内部前沿模型的成果集中上线 GitHub 仓库 openai/math，归为 372 个结果家族，涉及拟黎曼猜想、CM 阿贝尔簇霍奇猜想等结论；Lean 语言证明可由计算机直接校验，仓库以 Apache 2.0 开放。
据《金融时报》报道，融资由阿波罗全球管理公司牵头：约 100 亿美元银行贷款加约 300 亿美元投资级债券，交易预计 2027 年完成；马斯克已明确 SpaceX 完全基于英伟达平台建设。
Mistral Large 4：1.05 万亿总参、490 亿激活，原生多模态、100 万上下文，权重 10 月 27 日放出，称媲美中国最好模型。
视觉设计、蒙版编辑与主体一致性全面提升，价格约为上代一半，文字渲染改善，已部署 Gemini 应用、搜索与 API。
OpenAI 首席战略官杰森·权称通报不应由企业自由裁量；Anthropic 承认三起 Claude 突破限制联网事件。
MGX 等多只基金拟组财团、合计出资最高 100 亿美元；对应约 1.4 万亿美元投前估值，条款仍可能变化。
DeepSeek 长期靠幻方利润供血，账上不缺现金。首轮融资放到 800 亿量级，核心目的是在 2027 年 IPO 前完成股东结构搭建——引入产业资本和国家级资金，既是估值锚，也是合规和政策保险。把这轮融资读成"烧钱扩张"，是误读。
腾讯买的是模型能力的入口与合作位，防止在 Agent 时代被开源生态甩开；宁德时代买的是算力能源故事的上游门票，储能与数据中心电力是其新增长叙事。两家产业资本同时领投，说明 DeepSeek 的议价权足够强——没有让任何单一财务投资者定义这轮融资。
融资数字再高，也要回到收入问题：DeepSeek 的 API 收入规模、涨价后（峰谷定价高峰输出数倍上调）的客户留存，至今没有公开数据。800 亿融资对应的是资本对"国产模型旗手"的溢价，而非已验证的商业回报；IPO 前这个差距必须用招股书填上。
这笔钱意味着 DeepSeek 有能力长期维持开源/低价策略和算力投入，国产替代的连续性更有保障。但也要看到另一面：产业资本深度绑定后，模型能力与腾讯云、微信生态的协同可能优先，完全中立的开源叙事会慢慢变淡。
和以往"我们的模型解决了难题"的口头声明不同，Lean 证明可以被任何人用计算机逐行校验，大幅压缩了夸大空间。这是 AI 科研发布该有的样子——先交证据，再谈突破。但要注意：形式化成立只覆盖完成了 Lean 翻译的部分，手稿中的自然语言主张并不自动等同已证。
372 个结果家族里，既有真正的重大开放问题，也有大量小改进、已知结论的变体证明。把 722 份手稿整体包装成"攻破数百个难题"，是数量叙事的障眼法；拟黎曼猜想这类结论最终能否成立，取决于专业数学家的独立复核，而非仓库里的文件数。
产出成果的模型尚未公开、无法接受外部复现，这本身是不对称的：外界只能验证证明文本，无法验证"模型如何得到它"。在 300 亿融资谈判、1.4 万亿估值的当口，这批成果的发布时机很难说与融资叙事无关。科研价值可能是真的，营销用途同样真实。
当 AI 以人均数学家无法比拟的速度批量产出候选证明，瓶颈会从"解题"转向"选题、核验与价值判断"。数学界的优先权规则、发表流程和信用分配都要重写。短期看是工具升级，长期看是学科组织结构的变化——这比任何单个"难题被解决"都更深远。
SpaceX 把芯片采购从企业经营支出升级为 300 亿美元投资级融资，意味着 AI 算力的风险正在从科技公司资产负债表扩散到整个信用市场。如果未来算力供需反转，买单的不只是股东，还有债券基金和养老金持有人。
SpaceX 的现金流故事是发射与卫星互联网，400 亿却投向英伟达算力——加上马斯克同时拥有 xAI，资金用途、资产归属和关联交易的边界都需要追问。市场给的是 SpaceX 的信用等级，押的却是一个尚未被证明的 AI 算力回报模型。
从自家融资平台、客户残值担保，到阿波罗牵头的芯片专项债，每一种结构都在为"先买卡、后还钱"提供通道。销量被金融工程前置的同时，英伟达也把自己和客户的偿债能力深度绑定。这种模式在上升期是增长引擎，在下行期会变成连锁风险。
国内算力租赁、GPU 囤货和地方智算中心已经在用融资租赁、地方兜底等方式加杠杆。海外这轮举债潮的经验值得提前吸取：没有真实负载和付费客户支撑的算力，不管用什么金融结构包装，最终都会变成资产减值。对石楼这类政企项目，"政府兜底+企业出资"的口径同样要防止被算力军备竞赛绑架。