2026年菲尔兹奖得主齐默曼在领奖当天宣布加入OpenAI，并预言AI将在两年内全面超越人类数学证明能力。此后OpenAI模型接连推翻多个悬置数十年的数学猜想，还以万个智能体在88小时内攻克纳维-斯托克斯千禧年难题，引发署名权争议。陶哲轩、高尔斯等数学家担忧数学价值观危机，甚至可能沦为无人理解的“思维墓地”。

OpenAI被指控在解决纳维-斯托克斯难题时，可能不当使用了数学家的私人笔记，并威胁其合作者的署名权。争议焦点在于AI训练数据的来源及学术伦理，引发对AI辅助研究信任的担忧。

OpenAI声称用内部AI模型解决了90年未解的纳维-斯托克斯问题，但遭质疑。纽约大学研究者称前一天已发布相关成果，并怀疑OpenAI使用了其Codex数据。OpenAI否认访问特定用户数据，但承认可能用了去标识化数据，双方争议持续。

OpenAI内部系统解决了纳维-斯托克斯存在性与光滑性千年难题，证明三维流体可在有限时间内形成奇点。系统使用约一万个并发智能体，耗时88小时完成证明，并用Lean形式化验证。该成果展示AI数学能力，但团队不申领奖项，强调负责任地推进AI发展。