» 4、OpenAI宣布：AI解决流体力学NS方程问题
刚刚，OpenAI 宣布，一个内部模型生成了纳维-斯托克斯（Navier-Stokes）存在性与光滑性问题的完整证明，并已通过 Lean 形式化验证！
千禧年七大数学难题中，第二个被解决的问题已经诞生！给出证明的，是约一万个 Agent。
这道题悬而未决了约 90 年，此前七大难题中只有庞加莱猜想被俄罗斯数学家佩雷尔曼解决。
OpenAI 同时声明不打算领取克雷数学研究所的百万美元奖金，将这一结果定位为「AI 进步的快照」。
但证明发布的同时，一场署名风暴已在 X 和各大平台上疯狂席卷了 12 个小时：纽约大学数学家 Tristan Buckmaster 指控 OpenAI 在获悉他与 Anthropic 研究员 Levent Alpöge 已完成的工作后才启动该项目，并在沟通中要求将 Levent 从署名中移除，因为他是 Anthropic 员工。
刚刚，OpenAI 宣布，一个内部模型生成了纳维-斯托克斯（Navier-Stokes）存在性与光滑性问题的完整证明，并已通过 Lean 形式化验证！
千禧年七大数学难题中，第二个被解决的问题已经诞生！给出证明的，是约一万个 Agent。
这道题悬而未决了约 90 年，此前七大难题中只有庞加莱猜想被俄罗斯数学家佩雷尔曼解决。
OpenAI 同时声明不打算领取克雷数学研究所的百万美元奖金，将这一结果定位为「AI 进步的快照」。
但证明发布的同时，一场署名风暴已在 X 和各大平台上疯狂席卷了 12 个小时：纽约大学数学家 Tristan Buckmaster 指控 OpenAI 在获悉他与 Anthropic 研究员 Levent Alpöge 已完成的工作后才启动该项目，并在沟通中要求将 Levent 从署名中移除，因为他是 Anthropic 员工。
