近日，人工智能领域掀起了一场轩然大波——OpenAI宣布其尚未公开的内部AI模型成功攻克了数学界著名的“纳维-斯托克斯存在性与光滑性问题”。这一问题自1930年代被提出以来，困扰了全球数学家近90年，是克莱数学研究所2000年公布的七个“千禧年大奖难题”之一，解决该问题可获得100万美元奖金。然而，OpenAI明确表示不会申领这笔奖金，但这一突破仍引发了学术界和科技界的广泛关注。
据OpenAI介绍，该团队通过约10,000个AI智能体协作，在88小时内完成了证明。证明的核心是设计了一种特殊的“涡流”结构，其能量在物理定律限制下保持有限，但流速会在有限时间内无限增长，形成所谓的“奇点”。这一发现对应克莱数学研究所官方问题中的“C”和“D”情形，即外力光滑的假设下。为确保证明的严谨性，OpenAI还提供了基于Lean编程语言的形式化验证，由其最新发布的GPT-6 Astra模型在17小时内完成。
OpenAI研究员塞巴斯蒂安·布贝克将这一成果形容为“过去十二个月研究轨迹的惊人顶点”。他指出，AI模型在解决开放数学问题上的表现远超现有公开模型，展现了人工智能在复杂理论推导中的潜力。然而，这一声明也引发了争议。纽约大学数学教授特里斯坦·巴克马斯特和Anthropic研究员莱文特·阿尔珀格公开质疑，称他们前一天刚发布了相关流体方程的研究成果，怀疑OpenAI在得知他们的进展后调整了研究方向。巴克马斯特特别提到，他和阿尔珀格的部分研究数据存储在OpenAI的Codex模型中，担心被用于训练或参考，但未得到明确回应。
对此，布贝克否认了指控，强调研究人员和AI智能体均未访问具体用户数据。不过，OpenAI在声明中承认，“不排除”模型改进过程中使用了来自其产品的匿名化数据。这一表态进一步加剧了关于数据隐私和学术诚信的讨论。
值得注意的是，这并非AI近期首次在数学领域取得突破。上个月，Anthropic宣布其内部未公开的Claude研究模型在黎曼猜想研究中取得重要进展，将黎曼ζ函数临界线上零点比例的长期下界从41.6%提升至67.2%，令业界震惊。两次事件接连发生，凸显了AI在攻克人类智力巅峰问题上的快速进展，也引发了关于功劳归属和人类角色定位的深刻反思。
著名数学家陶哲轩对此表达了复杂看法。他一方面将这类难题比作吸引科学家探索的“灯塔”，另一方面警告，若AI能独立解决最困难的问题而无需人类深度参与，可能会削弱人类对数学本质的理解。高昂的计算成本也成为讨论焦点。据估算，OpenAI此次证明的计算成本可能高达1,500万至2,250万美元（约合人民币1.01亿至1.51亿元），远超克莱数学研究所的奖金额度。
目前，OpenAI的证明尚未经过同行评审，但其形式化验证和公开代码为后续学术验证提供了基础。与此同时，巴克马斯特和阿尔珀格计划进一步分析OpenAI的成果，以确认其原创性。这场围绕AI与数学突破的争议，或许只是科技与学术交叉领域更多讨论的开端。
