2026 年十月 8 日 · 星期四 5 条精选 · 出品：@AI主理人

早安，今天的 AI 早报来了

从算力狂欢到数学突破SpaceX 要借 400 亿美元买芯片、DeepSeek 锁定 120 亿美元融资，今天的头条全是大钱和大算力；与此同时 Mistral 开源大模型杀到、OpenAI 的模型在数学上攻城略地——AI 的资本、技术、监管三条线都在加速。

算力基建SPACEX

SpaceX 拟融资 400 亿美元，专款买英伟达芯片

据英国《金融时报》引述知情人士报道，SpaceX 正计划筹集 400 亿美元（约 100 亿美元银行贷款 + 300 亿美元投资级债券），全部用于采购英伟达 AI 芯片，由阿波罗全球管理牵头，交易预计 2027 年完成。值得关注的是：AI 基建烧钱大战已经卷到"借债买芯"的新高度——连 SpaceX 都要举债买算力，说明头部玩家对算力瓶颈的焦虑已经到了等不及的地步。

来源金融时报、新浪财经

巨额融资DEEPSEEK

DeepSeek 融资接近锁定 120 亿美元，腾讯、宁德时代领投

彭博社报道，DeepSeek 新一轮融资接近收尾，规模至少 800 亿元人民币（约 120 亿美元），远超原定 500 亿元目标；腾讯与宁德时代为主要领投方，投后估值约 750 亿美元，公司计划 2027 年初在科创板 IPO。值得关注的是：V4 Flash 发布后认购热情爆棚，钱已经不缺，接下来拼的是算力和落地——谁先把内蒙古乌兰察布的 1GW 级数据中心跑起来，谁就先摸到商业化门槛。

来源彭博社、新浪财经

开源模型MISTRAL

Mistral 发布 Mistral Large 4，号称"美欧最强开源权重模型"

法国 Mistral 于 10 月 6 日发布了代号"Le Chonk"的 Mistral Large 4：总参数 1 万亿、激活 490 亿，原生多模态，在网络防御、金融、制造等关键任务上与头部闭源模型持平，网络安全评测中超越中国模型。值得关注的是：开源模型第一次喊出"与顶级闭源持平"，欧洲终于在美中之外插上一脚——开源生态的下一波应用爆发，可能要从这里开始。

来源Mistral 官方、CNN

科学突破OPENAI

OpenAI 公布前沿模型数学成果：攻破数百个未解难题

OpenAI 通过 GitHub 代码库公开了其一款未发布前沿模型产出的数学研究成果——722 份手稿、372 个结果家族，包含数百个长期未解的数学问题，全部附带 Lean 形式化证明，可直接被计算机校验。值得关注的是：AI 做数学已经从"刷分"进入"发论文"阶段——形式化证明意味着结果机器可验，这条路一旦跑通，科研范式都会被改写。

来源财联社、IT之家

模型安全ANTHROPIC

Anthropic 携手美国政府，开放顶级模型做网络安全攻防测试

Anthropic 宣布与美国政府合作，扩大其最先进模型的使用权限，允许一批经过验证的机构使用 Claude Opus 5.5、Sonnet 5.5、Mythos 5.1 等顶级模型，对电网、银行、航空等关键基础设施的安全系统开展"高风险攻击性测试"。值得关注的是：前沿模型的网络攻防能力第一次被官方摆到台面上——这既是能力的勋章，也是监管的伏笔，AI 安全议题正在从学术讨论变成国家工程。

来源新浪财经