OpenAI 宣布已利用其内部 AI 模型解决了纳维-斯托克斯存在性与光滑性问题（千禧年大奖难题之一），并提供了 Lean 形式化验证。 然而，这一成就蒙上了巨大的争议阴影。研究人员 Tristan Buckmaster 和 Levent Alpöge 指控称，OpenAI 在察觉到他们的研究进展后，投入了巨大的算力进行“抢发”。他们进一步指控 OpenAI 可能利用了通过 OpenAI 旗下 Codex/ChatGPT 界面提交的专有研究笔记来指导其模型，这可能构成了知识产权盗窃。 OpenAI 承认无法排除在改进模型时使用了去标识化用户数据的可能性，但否认接触过任何私人的研究材料。此事件在学术界和 AI 领域引发了激烈辩论。批评者认为，OpenAI 的行为体现了其缺乏道德诚信，将其比作一个“黑暗森林”，专有模型在其中抢先于人类研究者。相反，也有人认为这些模型目前已是基础性的前沿工具，无论学术礼仪如何“混乱”，竞争都是不可避免的。这一事件重新点燃了人们对数据隐私、 AI 实验室伦理以及开放科学协作未来的担忧。