OpenAI 宣布攻克千禧年难题，清华姚班传奇陈立杰：不可思议的时代
原文中文，约3100字，阅读约需8分钟。
📝
内容提要
OpenAI宣称其内部AI系统在约1万个Agent协作下，耗时88小时解决了纳维-斯托克斯方程的存在性与光滑性问题，并通过Lean形式化验证。若获认可，这标志着AI开始参与解决顶尖数学难题。然而，纽约大学专家Tristan Buckmaster质疑其研究优先权，称其团队早前已取得相关突破，引发学术争议。
🔎
延伸解读
AI证明的数学意义与验证挑战
OpenAI声称其AI系统解决了纳维-斯托克斯方程的存在性与光滑性问题，并提供了Lean形式化验证。然而，数学界对AI证明的认可通常需要经过严格的同行评审，形式化验证虽能确保逻辑正确，但证明的构造是否自然、是否揭示深层结构仍是数学家关注的重点。此外，该结果若成立，意味着三维不可压缩流体可在有限时间内形成奇点，这将深刻影响流体力学理论，但实际物理意义仍需进一步探讨。
研究优先权争议的焦点
纽约大学专家Tristan Buckmaster声称其团队早于OpenAI取得相关突破，并质疑OpenAI的研究过程描述不完整。争议核心在于：OpenAI是否在沟通中获取了Buckmaster团队的研究思路？尽管OpenAI否认使用用户数据，但事件凸显了AI辅助科研中数据隐私和成果归属的模糊地带。未来，类似争议可能增多，学术机构需建立更明确的规则来界定AI在科研中的角色和贡献。
AI科研协作的新范式与潜在风险
OpenAI使用约1万个Agent协作解决数学难题，展示了AI在科研中从工具向协作者转变的潜力。这种模式能大幅加速探索过程，但也带来风险：AI可能生成大量看似合理但缺乏深度的结果，且其推理过程难以完全透明。此外，AI的介入可能改变科研的评价体系，如论文署名、贡献认定等。数学家需适应与AI合作的新常态，同时保持对AI输出的批判性审视。
🏷️
