42
0OpenAI于9月8日公布纳维—斯托克斯千禧年难题的解答主张，并分享论文与形式化证明项目。本期从这些公开材料出发，讨论AI科研成果应如何检查。材料发布已经核实；本节目没有独立验证整套证明，不把作者主张等同于数学界已认可。
内容主题：应用与产业
主要地域：全球、海外
发布日期：2026年9月9日
时间轴
00:03 166页论文：先看究竟证明哪句话
00:45 流体方程中的平滑与奇点
01:32 原题C/D与外力条件
02:42 转发前，逐项对照标题和定理
03:06 局部速度与总体能量
03:52 Lean形式化：别人如何检查
04:39 本期未独立构建或验证证明
05:24 推导检查与原题对应的边界
06:11 一万个代理和88小时：公司自述
07:46 公布解答与千禧年奖程序
08:33 研究团队如何交付可复核材料
09:22 继续观察独立复核
本期要点
• 先核对定理条件，再转述结论。论文声称的结果带有外力、三维不可压缩及能量等条件，不能扩写为所有流体问题都已解决。
• 形式化仓库提供具体检查路径；项目存在、独立构建通过、形式命题对应原题，需要分别说明。
• 本期未本地构建全部证明，未逐项审查定理正确性。有关代理规模与求解用时属于发布方自述。
• 数学成果公开和奖项认定有不同程序；当前不作独立认可或获奖断言。
术语与边界
奇点：数学描述中的某些量失去界限，不是水杯爆炸。
形式化证明：以严格定义与推理规则表达命题，供检查器核对。仍需确认表达的命题与原始问题对应。
节目中的尖峰比喻、转发建议和研究团队交付方式为主播解读，不替代数学证明。
原始资料
OpenAI发布说明（2026-09-08）
论文：Finite Time Blowup for Navier–Stokes（随9月8日公告公开）
Lean形式化仓库（本次未完整构建）
独立检查入口（本次未执行验证）
Clay原始题目（历史背景，PDF未标发布日期）
Clay千禧年奖规则（2018年修订，历史背景）
后续观察
独立团队能否给出与原题对应、版本明确、过程可重复的复核结论。
本期问题
你看到AI宣布科研突破时，最想先看到哪一种验证证据？
勘误
如发现事实或表述错误，请在评论中提供对应时间点与原始资料，我们核实后更新说明。
制作说明
主播：施泰隆。本期音频使用“施泰隆”复刻音色，由 AI 合成。
