OpenAI近日宣布，其研发的智能体组合成功求解了Navier-Stokes方程这一著名的千禧年大奖难题。该方程是流体力学的基础，其解的存在性与光滑性问题困扰了数学家近两个世纪。OpenAI此次采用多个智能体分工协作、迭代推理的方式，首次为这一难题提供了可验证的AI辅助证明。

据OpenAI研究科学家Noam Brown透露，这次证明的算力消耗巨大，总成本达到数百万美元级别。Brown在社交平台上回应相关讨论时承认了这一数字，但随即强调，此类成本将呈现快速下降趋势。他认为，随着推理效率提升和算法优化，未来类似科学发现的边际成本会显著降低。

此次突破并非简单的计算力堆砌。OpenAI的智能体系统被设计为能够自主提出猜想、设计验证路径，并在多轮交互中修正逻辑漏洞。这标志着AI从“工具”向“合作者”的角色转变，尤其在数学和理论物理这类依赖深度推理的领域，AI的参与方式正在发生质变。

业内分析人士指出，虽然数百万美元的单次成本仍高于传统数学方法，但若成本曲线如Brown所言快速下探，AI驱动的基础科学发现将变得可行。这一案例也为其他未解难题（如杨-米尔斯存在性与质量间隙）提供了可复用的方法论参考。

目前，OpenAI尚未公开完整证明的技术细节，也未透露是否将提交给克雷数学研究所进行正式验证。但这一进展已引发学界对“AI数学发现”伦理与可靠性的新一轮讨论，如何确保AI生成证明的可解释性和可审计性，将成为下一阶段的核心议题。