OpenAI刚刚宣布了一项可能非常重磅的AI突破：它声称用AI找到了Navier-Stokes方程长期未解难题的解决方案。
但消息公布没多久，争议就来了。纽约大学数学家Tristan Buckmaster指控，OpenAI是在得知他和Anthropic研究员Levent Alpöge已经取得关键进展后，突然投入大量算力追赶这一问题，并试图影响最终成果如何署名。
如果OpenAI的证明最终得到数学界认可，这可能成为AI参与基础科学研究最重要的案例之一。
Navier-Stokes方程用于描述水、空气等流体如何运动，其相关数学难题已经困扰学界约200年，也是Clay Mathematics Institute提出的7个“千禧年大奖难题”之一，正式解决可获得100万美元奖金。
OpenAI研究员Sebastien Bubeck表示，公司8月28日开始训练一款数学能力更强的新AI模型。随后，他们听说Anthropic可能正在Navier-Stokes问题上取得进展，于是决定加码。
OpenAI一次性投入了超过1000个AI Agent，连续运行超过50个小时寻找证明。最终，团队称AI找到了一套完整解法，并用数学证明语言Lean进行了形式化验证。
但与此同时，另一组研究者也公开了自己的成果。Buckmaster和Anthropic研究员周一发布文件，披露了他们在与Navier-Stokes相关研究方向上的关键进展。两人同样大量使用AI辅助研究，包括Claude和OpenAI Codex。
Buckmaster称，他上周得知OpenAI已经知道两人的研究进展，并开始集中大量资源攻克同一问题。Buckmaster还直接询问OpenAI：公司是否查看过他们在Codex里的使用记录。按照他的说法，OpenAI告诉他，模型“没有查看用户数据”，但没有正面回答相关数据是否可能被用于训练。
Buckmaster还声称，OpenAI随后向他提出过几种方案。其中一个方案是：让他参与发表一篇论文，宣布Navier-Stokes问题已经被OpenAI内部模型解决，但不把他的合作者Alpöge列为作者。
当AI开始成为科研工具之后，训练数据、用户prompt、计算资源和成果署名，都会变成新的学术利益问题。#趣味数学 #人工智能未来 #AI人工智能
