Navier–Stokes 千禧年难题被解开，却引爆“抢跑与数据”之争

📋 概述

本日 HN 头条（近两千分）围绕数学史上的一枚重磅炸弹：OpenAI 宣称用其内部未发布模型解决了七个千禧年难题之一的 Navier–Stokes 存在性与光滑性问题，并用 GPT-6 Astra 完成了 Lean 形式化验证。然而 NYU 数学教授 Tristan Buckmaster 随即公开了一份“声明 PDF”（即本帖所链），指控自己与效力 Anthropic 的数学家 Levent Alpöge 合作近一年、大量借助 Claude 与 Codex 研究同一问题后，OpenAI 疑似在听闻风声后才启动同样路线的攻关并抢先发布。争议的核心在于：模型是否接触过他们在 Codex 中的会话数据、以及 AI 用“无法排除的脱敏数据”提升能力这一承诺到底意味着什么。