OpenAI宣布其智能体解决了纳维-斯托克斯存在性与光滑性问题——克莱数学研究所七大千禧年大奖难题之一——这一消息被争议所掩盖。该公司声称其内部模型大幅超越近期发布的Astra模型，证明完整方程在特定条件下会失效。然而，指控称OpenAI在未适当署名的情况下，使用了NYU数学家Tristan Buckmaster和Anthropic员工Levent Alpöge的工作成果。Buckmaster周一在Mastodon上发布证明，展示简化版纳维-斯托克斯方程会失效，这基于近一年使用OpenAI和Anthropic公开可用模型的研究。OpenAI技术人员Sébastien Bubeck在新闻简报会上承认，团队在听到关于Buckmaster和Alpöge努力的传闻后，受到启发去攻克该问题。OpenAI否认直接使用他们的工作，并声称不打算申领100万美元奖金。这一事件凸显了AI驱动数学发现周围日益增长的紧张局势，并引发疑问：在由前沿AI公司主导的未来，人类数学家将如何定位。

Buckmaster在一份公开文件中详述了与OpenAI员工的互动，指控他们提出两个选项：要么他和Alpöge发布工作成果，OpenAI次日跟进发布其解决方案；要么Buckmaster合作撰写OpenAI论文，但因Alpöge的Anthropic身份而将其排除在外。Buckmaster还报告称，他曾询问OpenAI的智能体是否访问了他和Alpöge的研究记录，对方予以否认；询问其模型是否基于这些记录训练，对方未作回应。MIT Technology Review曾联系Buckmaster置评，但在发稿前未收到回复。

这场争议凸显了数学研究中不断变化的动态，AI模型正成为解决曾被认为遥不可及问题的关键工具。如果只有少数资源雄厚的AI公司能推动最重要数学挑战的进展，可能从根本上改变长期以来定义学术数学的合作规范。纳维-斯托克斯问题涉及描述流体流动的方程，广泛应用于物理学和工程学，尽管在理解特定条件下无限流体速度等现象方面意义重大，直到现在仍未被解决。