MIT 科技评论综述纳维–斯托克斯争议：OpenAI 内部模型「远超上周才发布的 Astra」

9-09 V1 事件的权威综述（九月八日刊发，全文直开）：纳维–斯托克斯存在性与光滑性问题为 Clay 研究所 2000 年选定的七个千禧年大奖难题之一，奖金一百万美元，此前仅另一个千禧问题被解决过。时间线：周一，纽约大学 Buckmaster 在 Mastodon 发布简化版（受迫欧拉）方程可崩溃的 AI 辅助证明——他与 Alpöge 用 OpenAI 与 Anthropic 的公开模型工作了近一年；随后 OpenAI 展示完整版方程可崩溃的证明，所用内部模型「dramatically outperforms the already-impressive Astra model, which was only released last week」。OpenAI 明确不申领百万奖金。争议核心仍是 Buckmaster 同步发布的与 OpenAI 员工互动文件。证明有效性仍无独立同行评审确认。[事实（综述报道层面）]