OpenAI提出的纳维–斯托克斯千禧年大奖难题解决方案引发了署名争议。纽约大学数学家特里斯坦·巴克马斯特指责该公司“半偷窃”了与他和Levent Alpöge有关的工作。OpenAI称其工作是同步推进的，并否认获取过这两名研究人员的具体成果。该公司表示，约1万个智能体经过88小时生成了这份方案，随后GPT-6 Astra又花费17小时在Lean中将其形式化并完成检查。克莱数学研究所仍将这一问题列为未解决问题，OpenAI则表示不会申请相关的100万美元奖金。巴克马斯特称这一进展是数学领域的“深蓝–卡斯帕罗夫时刻”，而《科学美国人》表示，人工智能公司似乎已经取得了超越人类能力的数学表现。Cardano创始人查尔斯·霍斯金森也以此事为例，说明形式化数学正在快速发展，同时警告称，中心化人工智能服务可能导致未发表的研究成果和知识产权暴露。