AI攻克百万美元千年数学难题

人工智能破解数学界“百万美元难题”：Navier-Stokes方程奇点获证 9月8日，OpenAI的研究团队宣布了一项震动数学界的重大成果：由10000个自主AI智能体组成的系统，在一种未公开的先进模型驱动下，成功在三维Navier-Stokes方程中找到了“奇点”（singularity），从而解决了克雷数学研究所2000年提出的七个千禧年大奖难题之一。这一结果已经通过Lean编程语言进行了严格的形式化验证，让数学家们对其正确性抱有较高信心。若该证明通过后续严格审查，这将是迄今为止人工智能模型取得的最重要数学证明，可能标志着数学家攻克难题方式的根本性转折。 Navier-Stokes方程是描述流体运动的核心微分方程，从洋流到气流无不适用，自19世纪中期提出以来一直是流体力学的基础。但一个基本问题悬而未决：方程的解是否始终“行为良好”？还是说，随着时间推移，解可能演化出某些无限小区域内流速趋于无穷大的“奇点”？这正是千禧年难题的核心所在。OpenAI团队的结果表明，在理想化的数学条件下，这种奇点确实可能出现。值得注意的是，这一突破并非孤立发生——在OpenAI发布公告前12小时，纽约大学的Tristan Buckmaster与Anthropic的Levent Alpöge也宣布，在多种AI模型协助下解决了多个密切相关的问题。两个AI团队都重度依赖马德里数学科学研究所的Diego Córdoba和CUNEF大学的Luis Martínez-Zoroa的研究，这两位学者开发了一套与传统方法截然不同的攻击策略。 普林斯顿大学数学家Charles Fefferman，也是克雷研究所Navier-Stokes问题官方描述的撰写者，对此表示“欣喜若狂”。他特别强调，真正的功臣是Córdoba和Martínez-Zoroa。Buckmaster在声明中更是直言：“Martínez-Zoroa值得一枚菲尔兹奖。”这一系列进展让数学界既兴奋又争议不断——一方面，AI辅助证明的规模和复杂度前所未有；另一方面，关于AI在数学发现中的角色、证明的可解释性以及人类数学家的工作方式将如何改变，都引发了激烈讨论。 从实际影响来看，这一发现短期内不会直接改变流体力学应用——现实中的流体由分子和原子构成，并非数学意义上无限可分的连续介质，因此奇点的数学结果并不直接对应物理现象。但其深层意义在于：它揭示了即便牛顿第二定律看似直白，当应用于流体时，其数学推论却深刻违反直觉。对于跨境电商和AI从业者而言，这一事件释放了更广泛的信号：AI已从辅助工具跃升为能够独立解决人类最棘手问题的“合作者”，未来在物流优化、需求预测、供应链建模等复杂场景中，AI的推理能力或将带来超预期的突破。