摘要：
伴随OpenAI高调宣布其内部人工智能系统成功攻克困扰数学界近百年的“千禧年大奖难题”之一——纳维-斯托克斯方程（Navier-Stokes）的存在性与光滑性问题，一场围绕前沿模型底层训练数据来源、科研知识产权归属以及学术伦理的巨大争议迅速在全球学术界与科技行业引爆。
在人工智能逐步侵入基础科学研究前沿的当下，OpenAI这类巨头的高阶数学推理模型究竟从何处汲取关键养分，以及科研人员在日常使用商业化AI工具时是否在无意中沦为了科技巨头私有模型的“数据肥料”。
这场争议的发端源于OpenAI公布的一份长达165页的数学证明及Lean形式化代码证书。据OpenAI披露，其部署了一个比最新发布的GPT-6 Astra更为强大的未公开内部模型，调动了约10000个能够协同通信的自主AI智能体，在88小时内消耗了数千亿输出Token和价值约2250万美元的超级计算资源，最终推导出了不可压缩流体方程在有限时间内产生奇点的数学证明。OpenAI同时明确表示不会领取克雷数学研究所设立的100万美元奖金。然而，就在OpenAI成果发布前夕，纽约大学柯朗数学科学研究所教授特里斯坦·巴克马斯特（Tristan Buckmaster）与竞争对手Anthropic旗下的研究员莱文特·阿尔珀格（Levent Alpöge）刚刚公开了他们在受迫欧拉方程等相关流体力学问题上的突破性前驱成果。
巴克马斯特随即公开发表声明，对OpenAI的独立突破提出强烈质疑。巴克马斯特指出，他和阿尔珀格在长达一年的合作研究中，深度使用了OpenAI的代码生成工具Codex以及Anthropic的Claude模型来推演公式与起草中间草案，所有未公开的核心推导手稿、细分数学切入路径以及特定边界条件设定均曾完整输入至Codex会话日志中。巴克马斯特透露，在得知OpenAI获悉外部相关研究传闻后，他曾直接质询OpenAI该内部解题模型是否接触过或训练自他们在Codex上的私人交互数据；OpenAI技术人员虽坚称模型未直接实时调取特定用户数据，却对“是否曾被摄入模型预训练或微调数据集”这一关键问题避而不答。更具争议的是，巴克马斯特还指控OpenAI核心研究人员塞巴斯蒂安·布贝克（Sébastien Bubeck）在私下沟通中曾开出合作署名条件，但要求将身为Anthropic员工的阿尔珀格彻底排除在共同署名之外。
面对外界愈演愈烈的学术剽窃与数据盗用质疑，OpenAI官方发布声明否认在公开发布前通过任何非正规途径窥探过两人的手稿，布贝克亦强调OpenAI推导的数学证明在技术架构与具体结论上与巴克马斯特团队有着本质区别。然而，OpenAI在官方回应中罕见地加入了一条耐人寻味的免责声明：官方“无法排除从用户使用其产品过程中生成的去标识化匿名数据在客观上帮助改进了模型性能的可能性”。这一表态瞬间在学术圈引发了轩然大波，被众多学者解读为OpenAI变相承认了商业开发者工具中沉淀的顶尖学者私人交互记录，极有可能早已被卷入其底层模型的持续迭代管线之中。
这一风波揭开了前沿人工智能实验室在构建高阶数学能力时所面临的“数据枯竭”与“逆向吸纳”隐秘现实。传统的预训练数据大多来源于公开网络抓取，但互联网上绝大多数公开数学语料仅停留在中小学竞赛或本科基础教材水平，根本无法支撑模型理解深奥的偏微分方程几何分析或代数拓扑结构。为了让模型具备世界顶尖数学家的深层逻辑推理与严密推演能力，AI实验室除了聘请专业数学家编写形式化Lean代码和合成数据外，极其依赖由真实顶级学者在开发工具（如Codex平台）中输入的前沿研究痛点、未发表的解题假说与高级提示词流。一旦用户协议中包含允许平台将去标识化交互数据用于算法优化的条款，学者的独创性脑力劳动便在法律灰色地带被企业算力集群悄然消化并放大。
科学哲学与知识产权法学专家指出，纳维-斯托克斯之争并非个别学者与商业巨头之间的口角，而是标志着人类科学发现范式发生根本裂变时必须直面的结构性伦理危机。过去数百年来，学术界的荣誉与激励机制建立在严格的同行评审、发表优先权以及规范的文献引用伦理之上；然而在以万计智能体协同并行、耗资数千万美元的工业化“暴力搜索”面前，学术发现的传统防线正变得不堪一击。如果商业科技巨头不仅掌握着断层领先的算力霸权，还能通过其控制的生产力软件单向汲取前沿学者尚未发表的灵感幼苗并不予实质性归属承认，全球学术共同体对开放科研工具的信任基石将被彻底动摇，这也迫使各大高校与独立科研机构开始重新审视在未经验证的云端AI工具中流转核心科研机密的巨大潜在风险。
评论