OpenAI的10,000个AI代理攻克千年难题——引发热议

在9月8日的一项惊人公告中，OpenAI透露其未公开的内部AI模型——远比最近发布的GPT-6 Astra强大——成功破解了纳维-斯托克斯存在性与光滑性问题。这是七个千年难题之一，这些难题已困扰数学家近一个世纪。这一突破由10,000个AI代理协同工作88小时实现，在科学界引起了涟漪。

但兴奋中夹杂着争议。就在前一天，纽约大学数学家Tristan Buckmaster和Anthropic研究员Levant Alpoge发表了关于流体方程的相关工作。Buckmaster现在质疑OpenAI是否在得知他们的进展后仅仅转移了努力方向，并且他担心存储在OpenAI Codex中的研究数据可能被未经许可使用。OpenAI否认任何不当使用，但承认其产品中的匿名数据可能间接改进了模型。

协作诞生的证明

纳维-斯托克斯问题询问光滑、静止的流体是否能在有限时间内突然出现奇点——即速度变为无穷大的点。OpenAI的AI代理设计了一个巧妙的“涡旋”，它旋转并向内拉伸，在保持有限能量的同时导致这样的奇点。该证明解决了官方问题陈述中的“C”和“D”情景，随后使用Lean编程语言进行了形式化验证，这一任务由GPT-6 Astra在约17小时内完成。

OpenAI研究员Sébastien Bubeck称这是过去一年AI能力轨迹中的“惊人高峰”。这一成就确实非凡，但也引发了关于数学发现未来的深刻问题。

陶哲轩的复杂感受

数学家陶哲轩，以其在该领域的贡献而闻名，将此类问题比作吸引科学家努力的“灯塔”。他称赞了AI的成就，但也发出了警告：如果AI能在没有人类深度参与的情况下解决最困难的问题，可能会削弱我们对数学的整体理解。毕竟，解决问题的过程往往与解决方案本身教会我们的一样多。

这一壮举的计算成本估计在1500万至2250万美元之间（约合1.01亿至1.51亿元人民币）。有趣的是，OpenAI表示不打算领取克莱数学研究所提供的100万美元奖金（约合670万元人民币）。这一决定或许是对成就协作性质的认可——或者认识到真正的价值在于别处。

更广泛的影响

这一事件并非孤立。上个月，Anthropic宣布其内部研究模型Claude在黎曼猜想上取得了重大进展，将临界线上零点比例的下界从41.6%提高到67.2%。这些发展表明，AI越来越有能力解决几十年来人类努力未能解决的问题。

但随着AI承担更多繁重工作，我们必须问自己：这对人类数学家意味着什么？我们会成为单纯的旁观者，还是找到与这些数字思维协作的新方式？答案可能在于一种平衡的方法，即AI作为增强人类创造力的工具，而不是取代它。

目前，数学界正在思考由机器生成的证明的影响。这是一个胜利与惶恐的时刻，一窥未来，人类与人工智能之间的界限变得越来越模糊。

关键点

• OpenAI的内部AI模型解决了纳维-斯托克斯存在性与光滑性问题，这是一个千年难题。
• 该证明由10,000个AI代理在88小时内生成，并在17小时内完成形式化验证。
• 这一成就引发了关于研究优先权和数据使用的争议。
• 陶哲轩称赞了这一突破，但警告可能失去人类理解。
• OpenAI拒绝了100万美元的奖金，计算成本估计在1500万至2250万美元之间。