在数学与人工智能交叉领域，一场关于成果归属的争议正在发酵。纽约大学教授Tristan Buckmaster与Anthropic数学家Levent Alpöge近日公开表示，他们此前使用OpenAI的Codex和Anthropic的Claude模型，在纳维-斯托克斯存在性与光滑性这一千禧年大奖难题上已获得初步进展，而OpenAI随后公布的完整证明，疑似利用了他们的研究路径。

这一争议的核心，是OpenAI于近期发布的公告。该公司宣称，其一个尚未发布的新一代模型独立发现了纳维-斯托克斯问题的完整证明，研究始于9月1日，整个推理过程总计消耗了3000亿个输出Token。按照其Astra模型的定价标准计算，仅计算成本就高达约2250万美元。

Buckmaster教授指出，他与Alpöge的工作在问题建模和初始条件处理上取得了关键突破，这些进展为后续的完整证明提供了重要基础。然而，OpenAI在公告中并未提及或致谢他们的贡献，而是将成果完全归功于未公开的模型，这一做法在学术伦理上存在明显瑕疵。

目前，OpenAI尚未对Buckmaster的质疑作出正式回应。学界对此事看法不一，部分研究者认为，若质疑属实，这将是AI辅助科研中知识产权归属问题的典型案例；也有观点认为，数学证明的最终价值在于其正确性，而非推导过程中的工具使用。无论如何，这一事件已为AI在高端科研领域的应用敲响了警钟。

对于AI行业从业者而言，此事的启示在于：当模型能力足以触及人类智力巅峰时，如何界定人机协作中的贡献比例，如何建立透明的成果披露机制，将成为未来必须直面的制度性挑战。纳维-斯托克斯问题的证明之争，或许只是这一漫长博弈的起点。