所以……OpenAI真的解决了纳维-斯托克斯方程问题吗？
摘要
OpenAI 声称利用 AI 代理生成了一个证明，表明在纳维-斯托克斯方程中可能形成奇点。本文探讨了其对 AI 驱动数学研究及未来科学方法的影响。
几天前我看到关于OpenAI的Navier–Stokes结果的新闻，起初我以为这意味着AI以某种方式解决了一个不可能的问题。结果发现情况比这更复杂一些。纳维-斯托克斯方程已经用于描述流体的运动。著名的未解部分基本上是这样的：如果你从一个完全平滑的3D流体开始，方程是否永远保持良好行为，还是最终可能发展出奇点？OpenAI声称他们找到了一个证明，表明奇点可以在有限时间内形成。据OpenAI称，他们让多个AI代理尝试不同的方法，彼此分享有用的发现，最终生成了数学证明以及用名为lean的编程语言编写的正式版本。显然，独立验证的问题仍然存在，我看到数学家们对问题是否正式解决持谨慎态度，但如果证明成立，我认为更重要的故事可能是这揭示了AI在数学方面的能力。如果AI系统能够开始生成真正的新证明，那么在未来5到10年内，科学研究会是什么样子？数学家是否会主要成为选择正确问题、指导模型并验证结果的人？还是这被过度炒作了？你觉得呢？
相似文章
数学余波
OpenAI 宣布了一个由AI生成的 Navier-Stokes 存在性和光滑性问题的解，引发了关于AI在数学中的作用以及数学是否仅仅关于问题解决的辩论。
Navier-Stokes千禧年大奖问题的解决方案
OpenAI宣布使用一个先进的内部AI模型解决了Navier-Stokes千禧年大奖问题，证明光滑的三维流体运动可以在有限时间内产生奇点。
OpenAI 把安全放在首位 ...
OpenAI 宣布，他们的 AI 系统使用 10,000 个并发代理并配备严格安全措施，已成功解决 Navier–Stokes 问题，这是一个数学领域的 Millennium Prize Problem。
OpenAI刚刚宣称了一项重大的数学发现。部分学术界人士质疑其正当性。
OpenAI声称发现了一个由AI生成的纳维-斯托克斯方程解，这是一个有200年历史的数学问题，但学术界人士正在争议其归属，并指责OpenAI在得知他们的工作后仓促行事。
@VraserX: OpenAI’s Navier–Stokes 结果的疯狂之处不在于一个 AI 有了绝妙的想法。他们同时投入了大约 10,000 个代理…
OpenAI 同时使用了约 10,000 个 AI 代理来解决 Navier-Stokes 方程，表明科学进步可能随着计算能力的提升而显著扩展。