千禧年大奖难题

陶哲轩发文称「AI 正杀死数学百年开放传统」，你如何看待这一观点？

针对OpenAI宣布破解千禧年难题之一的纳维-斯托克斯方程，菲尔兹奖得主陶哲轩发文批评AI正在摧毁延续数百年的开放科学传统，认为数学家未来可能不敢公开研究方向。此次争议源于纽约大学数学家指控OpenAI利用其发现的解题路径，通过海量算力暴力穷举抢发成果，并试图在发表时剔除竞争对手公司员工的署名。

如何看待 Buckmaster 披露 OpenAI 在 NS 方程突破中的学术掠夺与威胁言论？

OpenAI声称其推理AI已生成关于纳维-斯托克斯（Navier-Stokes）方程的证明，该问题是克雷数学研究所设立的千禧年大奖难题之一。与此同时，纽约大学数学家Tristan Buckmaster与Anthropic研究员Levent Alpöge在AI辅助下取得了相关突破。目前，双方就研究成果的归属及OpenAI在发布过程中的压力指控产生争议。

如何看待 Alpöge 和 Buckmaster 关于 Navier-Stokes 方程的工作？

纽约大学数学家Tristan Buckmaster与Anthropic研究员Levent Alpöge在AI辅助下，针对多个流体方程在平滑强迫下的有限时间爆破问题发布了经Lean验证的证明。该进展被认为是在解决千禧年数学难题之一——Navier-Stokes方程方面迈出的三个重要步骤。然而，该成果引发了关于贡献归属的争议，涉及Anthropic与OpenAI的研究人员。