OpenAI宣称攻克纳维-斯托克斯难题，数学界争议与AI角色再引关注

近日，人工智能领域迎来一项重大突破：OpenAI宣布其AI系统成功解决了困扰数学界数十年的纳维-斯托克斯方程存在性与光滑性问题，这是克雷数学研究所设立的七道千禧年大奖难题之一。这项成果不仅标志着AI在数学领域的又一次飞跃，也引发了关于AI研究方法和学术规范的广泛讨论。

根据OpenAI发布的技术报告，其内部模型通过调用约10000个智能体，耗时88小时完成了这一复杂证明，并附上了166页的详细论文及形式化验证代码。然而，这一声明并未立即获得数学界的普遍认可。纽约大学数学家特里斯坦·巴克马斯特（Tristan Buckmaster）及其团队此前已利用AI工具对简化版本的纳维-斯托克斯方程进行了近一年的研究，并于本周一在社交平台Mastodon上公开了相关成果。巴克马斯特的研究表明，该方程在特定条件下可能出现解的崩溃现象，这被认为是解决完整问题的重要进展。

值得注意的是，OpenAI并未申请100万美元的奖金，而是选择将成果以开源形式发布。这一决定引发了更多关于AI研究透明度的讨论。同时，有学者指出，OpenAI的模型可能借鉴了巴克马斯特和Anthropic员工莱文特·阿尔珀格（Levent Alpöge）此前的工作，但OpenAI方面对此予以否认。

纳维-斯托克斯方程描述了流体运动的基本规律，是流体力学的核心方程组。尽管在工程实践中广泛应用，但数学家们一直未能证明其解在所有情况下都能保持良好性质。特别是当流体处于极端状态时，是否存在解的奇点（如速度趋向无穷大）仍是未解之谜。

这一事件再次凸显了AI在解决复杂科学问题中的潜力。然而，随着AI参与科学研究的程度加深，如何平衡技术创新与学术规范，如何界定AI成果的归属，都将成为未来需要面对的重要课题。

当前，数学界正密切关注OpenAI的后续进展。如果这一成果得到验证，它将不仅是数学史上的重要里程碑，也将为AI在科学研究中的应用开辟新的可能性。不过，这一过程也提醒我们，在拥抱AI带来的创新时，必须建立相应的学术规范和伦理框架，以确保科学发展的可持续性。