#AI
OpenAI 用未发布模型解出 Navier-Stokes
OpenAI 周二发布博客，称其一款**未发布模型**在约 88 小时内解出了 Navier-Stokes 存在性与光滑性问题——七大千禧年难题之一，悬赏 100 万美元。
求解由约 10000 个并发 AI agent 协作完成，结果于 9 月 5 日得出，再经 17 小时 Lean 形式化验证。公司明确表示无意领取悬赏，称目的仅为展示模型能力。
💡 为什么值得看数学界指控 OpenAI 抢跑解题涉抢功，陶哲轩警告逆转开放科学。
查证
来源与可信度
延伸阅读
多位数学家（Avigad、Ballard、Hassett）从学术规范与信任角度剖析，为何连「AI 系统可能从提问窃取想法」这一念头都让人寒意顿生
Simon Willison 提出关键类比：网络安全领域「一个 bug 传闻就能让人找到漏洞」，如今数学也面临「一个未发表解法的传闻就能触发数百万美元算力抢先解题」
Altman 与 Alpöge 在「是否愿意协调」上各执一词，Boaz Barak 称模型「一开始就证了更强的命题，不需要提示」，多方叙事的分歧值得逐条对照