OpenAI于9月8日宣布，其新一代人工智能系统已破解七道千禧年大奖难题中的“纳维-斯托克斯存在性与光滑性”问题，但公告同时遭到两名数学家关于未获致谢的指控。
该问题由克莱数学研究所于2000年遴选为千禧年难题，每道悬赏100万美元，此前七道题中仅一道被解。据《纽约时报》报道，OpenAI称其最新尚未公开的模型仅用88小时即完成证明，为此协调了多达10000个AI代理，计算成本据估计达数百万美元，并表示不领取奖金。据《麻省理工科技评论》报道，证明由内部模型完成，该模型性能远超上周发布的Astra。OpenAI研究者塞巴斯蒂安·布贝克在新闻发布会上说，团队在听到关于数学家工作的传闻后受到启发，转攻该问题。
争议源自纽约大学数学家Tristan Buckmaster与Anthropic员工Levent Alpöge。两人用近一年时间研究该问题，并使用OpenAI和Anthropic的公开模型。9月7日，Buckmaster在Mastodon发布了一个简化版纳维-斯托克斯方程可崩溃的证明。随后他公开的文件详述了OpenAI员工向他提出的两个选项：要么两人先发布工作，OpenAI次日公布完整解答；要么他加入OpenAI论文，但需排除在Anthropic任职的Alpöge。Buckmaster还询问对方是否获取了两人与OpenAI模型的交互记录，对方否认；但当他问及模型是否以这些记录训练时，对方没有回应。
OpenAI否认上述指控。首席研究官马克·陈在发布会上再次否认任何代理或员工访问了Buckmaster与Alpöge的记录。目前尚无证据表明OpenAI模型使用了他们的工作。两份证明都采用了数学家Diego Córdoba和Luis Martínez-Zoroa开创的方法。布朗大学教授哈维尔·戈麦斯-塞拉诺说，该方法是几个有望解决该问题的方法之一，因此独立得出这一可能性也不能排除。布贝克承认，团队是听到两人工作传闻后受到启发。
这一事件可能标志着数学史的一个转折点：AI模型似乎已成为攻克最重要数学问题所必需，而解决它们所需的算力只有少数前沿AI公司拥有，这往往与支撑数学进展的传统学术合作规范相悖。人类数学家将如何融入这一未来，尚不明朗。