OpenAI晒出AI求解纳维-斯托克斯千年难题方案，Lean验证加持但学界吵翻了

OpenAI最近公开了一份他们声称由AI生成的纳维-斯托克斯千年奖问题解决方案，这可是数学和物理圈子里挂了号的老大难问题。这个难题主要研究流体运动的行为规律，几十年来难倒了一大批研究者。克莱数学研究所为能正确解答这个问题的人悬赏100万美元。 OpenAI在公告里放出了一份详细的技术说明，还提到这个证明已经用Lean证明助手做了形式化验证。Lean是个能一步步检查数学推理过程的工具，相当于给证明上了道机械保险，能有效排除人为推理中的疏漏。按照OpenAI的说法，这个方案是由一个专门设计用来探索复杂数学空间、生成候选证明的AI模型搞出来的。 如果这个结果最后被确认没问题，那绝对是人工智能在科学发现领域的一个标志性事件。它意味着AI不只是给人类研究者打下手，而是能独立解决那些传统方法一直啃不动的难题。用Lean做验证也给这个结果增加了一层严谨性，毕竟每一步推理都是机器检查过的，降低了人为出错的风险。 但事情没那么简单，这个声明刚出来就引发了不小的风波。已经有好几位学者公开提出质疑，有人对研究中使用的方法有疑问，有人觉得对问题本身的解读可能有问题，还有人怀疑这个证明是不是真的把原挑战的所有细节都处理到位了。一部分人呼吁应该做独立的第三方验证，另一部分人则直接对这个结果的有效性表示怀疑。 纳维-斯托克斯问题问的是：在某些特定条件下，描述流体运动的方程是否总有解，而且解是否光滑。这个问题背后牵扯到流体动力学和工程学的深层理论，如果真能有个被验证过的答案，不仅能了结一场持续上百年的争论，还能给计算建模打开新的思路。 目前来看，学术界对这个事情的态度是分裂的。OpenAI已经把相关材料公开了，欢迎大家去审视和挑刺。这个方案到底能不能扛得住同行评审的考验，现在下结论还太早。但不管最终结果如何，光是“AI可能解决了千年难题”这件事本身，就已经给AI在基础科研领域能扮演什么角色，翻开了新的一页。