纽约大学数学教授 Tristan Buckmaster 表示,他与 Anthropic 数学家 Levent Alpöge 合作,围绕 Navier–Stokes 存在性与光滑性问题提出了三项证明,目前其中一项取得初步结果。该问题是克雷数学研究所七个“千禧年大奖问题”之一,首个被认可的完整解答可获得 100 万美元奖金。

Buckmaster 在公开声明中称,两人在整理成果时得知研究进展已被传给 OpenAI;OpenAI 随后告诉他们,内部团队已经完成了该问题的完整证明。Buckmaster 说,在他询问 OpenAI 何时开始研究、以及研究中有多少人为参与时,对方的答复变得含糊。他据此怀疑,OpenAI 可能在得知两人的研究路径后,利用更大规模的计算资源尝试率先完成形式化证明。

OpenAI 数学研究负责人 Sebastian Bubeck 否认这些指控,称其“虚假且具有煽动性”,并表示自己是在遵循学术规范的前提下介入讨论。Buckmaster 还称,双方曾讨论一项妥协方案,其中包括删除 Alpöge 的署名;他表示自己坚持公开争议后,曾收到“为什么要毁掉自己的职业生涯”等回应。OpenAI 尚未对这些具体说法作出完整公开说明。

Buckmaster 说,他没有看过 OpenAI 的证明,也不知道 OpenAI 的模型做了什么、是否使用了两人的数据,因此没有指控对方实施具体不当行为。他同时担心,自己大量使用 Codex 整理研究时产生的交互数据,是否可能影响 OpenAI 的相关工作。现有报道没有证明 OpenAI 已解决 Navier–Stokes 问题,也没有确认其是否使用了 Buckmaster 和 Alpöge 的研究资料。