OpenAI宣称数学重大突破，争议缠身

OpenAI近日宣布，其内部模型成功证明了数学界七大“千禧年大奖难题”之一的纳维-斯托克斯方程存在致命缺陷。这是该系列难题历史上第二次被攻克，也是首次由人工智能公司完成这一壮举。这一消息在数学界引发轩然大波，因为就在宣布前夕，数学家Tristan Buckmaster公开指控OpenAI在得知他和同事的研究进展后，抢先使用了类似方法完成证明。OpenAI对此予以坚决否认。 纳维-斯托克斯方程是描述流体运动的核心数学工具，此次证明指出该方程在极少数情况下会发生“爆破解”，即方程会预测流体速度在某个点变为无穷大——这在物理世界中是不可能发生的。OpenAI表示，该证明已通过编程语言Lean进行验证，几乎可以确保其正确性。然而，争议的焦点在于证明的“血统”。Buckmaster声称，他和同事Levent Alpöge（后者同时是Anthropic的员工）此前已用“forcing”方法攻克了相关欧拉方程，而OpenAI在得知这一进展后，于上周末采用了类似方法完成了完整证明。OpenAI数学家Sébastien Bubeck在新闻发布会上否认了这一说法，强调其内部模型是独立解决了欧拉方程，且方法完全不同；但他也承认，最终解决纳维-斯托克斯问题的思路确实与两位数学家的方法有相似之处。 这场争议背后，折射出AI在数学研究领域引发的深层焦虑。一方面，AI证明数学难题的能力已不容忽视——此次成果若被验证，将意味着AI不仅能辅助人类推理，还能独立完成顶尖数学突破。另一方面，AI的“黑箱”特性让成果溯源变得极其困难，学术界如何确认AI是否“借鉴”了未公开的人类研究，将成为未来必须面对的难题。芝加哥大学数学家Luis Silvestre感叹：“昨天和今天是疯狂的日子，整个社区都在讨论这件事的影响。”对于跨境电商和AI从业者而言，这一事件也释放出明确信号：AI在复杂逻辑推理上的能力正快速逼近人类顶尖水平，未来在供应链优化、市场预测等需要深度计算的场景中，AI或将带来超预期的变革。但与此同时，AI成果的原创性和合规性问题，也将成为所有依赖AI技术的行业必须正视的挑战。