2026年9月9日 OpenAI 声称解决 Navier-Stokes 千禧年难题，但尚未通过同行评审

OpenAI称解决Navier-Stokes千禧年问题，用内部模型生成证明 - OpenAI于9月8日发布公告，称其内部系统解决了Navier-Stokes存在性与光滑性问题——这是Clay数学研究所列出的七个千禧年大奖难题之一。该问题关于三维不可压缩流体运动是否会在有限时间内发展出奇点，已悬置约90年。 据公告，系统生成了分析证明，并在Lean中完成了形式化验证。证明显示，一个初始光滑的静止流体在施加光滑外力后，可在有限时间内形成奇点，且能量保持有限。关键在于，速度增长由流体自身运动驱动，而非人为加入无限力。团队描述该奇点为一种向内螺旋并轴向拉伸的涡旋结构。 OpenAI称，该结果由内部模型完成，其能力“显著超过GPT-6 Astra”。自8月28日起训练该模型，9月1日团队听到两个千禧年问题被解决的传闻后，启动了对所有千禧年问题的评估。解决Navier-Stokes的小组动用了约10,000个并发代理，每个代理配有工具和分组通信能力。 公告还提到，代理系统意外解决了无外力Euler方程的正则性问题，这属于“更简单”问题集，但未提供细节。OpenAI表示，分享证明和Lean形式化旨在让科学界了解AI进展，并预告未来模型的能力。 今日观察：该公告尚未经过同行评审，且未提及模型名称或训练细节。后续可关注Lean形式化是否被独立验证，以及Clay数学研究所是否正式接受这一解决方案。

AlphaGenome Atlas：9亿单核苷酸变异影响全预测，免费开放 - Google DeepMind 今日发布 AlphaGenome Atlas，一个覆盖人类基因组中所有 90 亿种单核苷酸变异影响的预测平台，并免费向学术研究开放。这是目前最全面的基因突变分子效应目录，研究人员无需编码经验即可通过网站门户访问。 AlphaGenome Atlas 包含 1 PB 的预计算数据，规模是 AlphaFold 数据库的 30 多倍。每个变异都有数千个分子效应预测，覆盖数百种人类和小鼠细胞类型，并整合了 AlphaGenome 与 AlphaMissense 模型的预测，生成一个统一的 AVI 分数，用于快速排序和解释变异影响。该分数同时适用于编码区和非编码区，后者占基因组的 98%，且与大多数性状相关变异有关。 平台还提供 AVI 特征归因，帮助研究者理解每个变异主要扰乱哪些分子过程，如 RNA 剪接或基因表达。此外，附带了超过 2,500 个 DNA 序列基序的集合，作为基因组的“单词”。外部合作者已利用该资源在未确诊的罕见病研究中识别并经实验验证了关键变异，也发现了与常见性状相关的罕见变异。 AlphaGenome Atlas 今日可通过网站门户、AlphaGenome API 及 Google Antigravity 中的技能使用。后续值得关注的是，其预测在非编码区的实际验证程度，以及 AVI 分数在真实临床队列中的表现。

Mistral 完成 30 亿欧元融资，三星领投，估值超 210 亿欧元 - 法国 AI 实验室 Mistral AI 于 9 月 8 日宣布完成 30 亿欧元（约 35.8 亿美元）融资，投后估值超过 210 亿欧元（约 243.9 亿美元）。这是欧洲科技公司史上最大规模的股权融资，由三星电子领投，EQT 管理的 Scaleup Europe Fund 和现有投资者 PSG Equity 联合领投。资金将用于扩大算力、建设基础设施、加速商业增长和拓展国际业务。

这笔融资的关键信号是主权 AI 正在成为大生意。Mistral 明确表示目标不是打造“欧洲版 ChatGPT”，而是通过区域推理、开放权重模型和第三方模型托管（包括中国模型）来强化其“AI 服务提供商”定位，让客户掌握模型选择和控制权。其战略重心是帮助政府和企业利用 AI，同时保持自主性，这与 OpenAI、Anthropic 等美国实验室的广泛销售策略形成对比。

Mistral 计划到 2030 年在欧洲建设 1 吉瓦算力，并在 8 月推出了让客户选择 AI 查询处理区域的功能。公司目前已在 20 个国家运营，法国总统马克龙在 X 上表示，这轮融资体现了法国和韩国“构建 AI 第三条道路”的目标。三星的入股已获法国当局支持，而现有投资者 a16z、Nvidia、Salesforce Ventures 以及新投资者 Advent、BlackRock 和卢森堡大公国也参与了本轮。

尽管 Mistral 仍与微软保持战略合作，但其融资结构和客户策略表明，它正试图在依赖美国技术和欧洲主权需求之间找到平衡。后续需要观察的是，三星的加入能否真正帮助 Mistral 打开亚洲市场，以及其“第三条道路”策略在多大程度上能转化为持续的营收增长。

Cloudflare 自动密钥交换上线：45 亿次连接握手延迟大幅下降 - Cloudflare 今天宣布推出 Automatic Key Exchange，用测量代替猜测，自动为每个源站选择最优的密钥交换算法。这一变化直接影响每天约 45 亿次源站 TLS 1.3 连接，其中约 30% 此前因默认算法不匹配而需要额外往返。 过去，Cloudflare 对所有源站统一使用 X25519 算法，导致约 52% 的连接触发 HelloRetryRequest（HRR），握手延迟显著增加。现在，Cloudflare 会先探测源站支持的算法，并在首次连接时直接使用对方首选算法，优先支持后量子混合算法 X25519MLKEM768。 上线后，HRR 比例从 52% 降至 3.7%，p90 连接握手延迟减少了 150 毫秒以上。同时，数十万个域名现已启用后量子安全连接，且无需人工配置。Cloudflare 的目标是在 2029 年（Q-Day）前实现全互联网量子安全，而这一功能的自动化是达成目标的关键一步。 此前，启用后量子连接需要用户手动配置，容易出错。Automatic Key Exchange 的推出意味着后量子安全将逐步成为默认选项，无需网站运营者具备密码学专业知识。 今日观察：Cloudflare 宣称 HRR 比例已降至 3.7%，但该数据基于其自身网络测量，第三方源站的实际兼容性仍需观察。后续可关注是否所有主流源站都能无缝支持 X25519MLKEM768，以及这一自动化机制是否会被其他 CDN 厂商跟进。

NVIDIA 发布 CUDA Rust：两条路径原生编写 GPU 内核 - NVIDIA 在 2026 年 9 月宣布推进 Rust 原生 GPU 编程，推出 CUDA Rust，让 GPU 内核可以直接用 Rust 编写并编译到 PTX，无需再依赖其他语言。这一动作的背景是 AI 系统层（推理引擎、服务基础设施、驱动等）越来越多用 Rust 编写，NVIDIA 的 Nova Linux 驱动和 Dynamo 都已采用 Rust。此前 Rust 开发者只能从 Rust 启动内核，内核本身往往要用 CUDA C++ 或 Python 编写。 CUDA Rust 提供两条路径：SIMT 对应传统 CUDA C++ 或 numba-cuda 模型，指定单线程行为并启动数千线程；Tile 是更新的模型，编译器决定 tile 到架构的映射，源码不依赖特定架构，适合优先选用，需要精细控制时可降级到 SIMT。SIMT 路径通过 cuda-oxide 实现，这是一个自定义 rustc 代码生成后端，将 #[kernel] 函数经 Rust MIR、Pliron IR 和 LLVM IR 编译到 PTX。目前需要 Linux、计算能力 8.0 及以上的 GPU、CUDA 12.x 或更新版本、clang 及固定 nightly 工具链，可通过 cargo oxide 安装并运行示例程序。 两条路径的示例程序均完成 1024 个浮点数的逐元素加法，并打印相同结果，便于对比。NVIDIA 计划支持语言间互操作，选择不会锁定其他语言。当前 CUDA Rust 仍处于早期，工具链要求较新，且仅支持特定硬件和 CUDA 版本，适合 Rust 技术栈的开发者评估。后续变量：NVIDIA 在 2027 年及以后是否会发布稳定版本，以及 Tile 模型在 Rust 中的成熟度，将决定其能否进入生产环境。

ChatGPT Images 2.5发布：细节更锐利，生成速度快50% - OpenAI今日推出ChatGPT Images 2.5，这是其最新的图像生成模型，主打更锐利的细节、更精确的编辑和更快的生成速度。官方数据显示，每周用户在ChatGPT Images和API的GPT-Image模型上生成超过30亿张图像，而新模型将图像生成延迟比Images 2.0降低最多50%。 在ChatGPT中，新功能Sketch允许用户直接绘图作为参考，Templates提供海报、产品图等常用格式的起点，用户还能在图像上直接评论以进行针对性编辑，并可分享所用提示词供他人复用。Images 2.5对所有ChatGPT、ChatGPT Work和Codex用户开放，覆盖桌面、移动端和网页。 开发者方面，API新增两个模型：GPT-Image-2.5 Flare提供质量、编辑和速度的全面提升；GPT-Image-2.5 Sunburst则针对需要更高精度的创意工作，但生成时间更长。新模型在参考照片的保真度、多轮编辑的一致性和复杂指令的理解上均有改进，尤其适合需要保持品牌一致性的系列资产生成。 今日观察：新模型的“多轮编辑一致性”和“参考图保真度”是生产环境的关键变量，后续可观察API调用中针对单一元素的编辑成功率，以及Sunburst模型的采用场景是否偏向高精度商业素材。