OpenAI最新争议揭示数学未来走向

OpenAI 刚刚宣布其 AI 智能体攻克了“千禧年大奖难题”之一的纳维-斯托克斯方程，这本应是数学界的重磅新闻。然而，消息发布不到一天，舆论焦点迅速从“AI 破解世纪难题”转向了“OpenAI 是否剽窃了外部研究者的成果”。这场争议不仅关乎学术诚信，更可能预示着数学研究范式的根本性转变：当最前沿的数学突破越来越依赖少数 AI 巨头才能负担的算力时，传统数学家的角色将何去何从？ 事件的起因是纽约大学数学家 Tristan Buckmaster 与 Anthropic 员工 Levent Alpöge 的指控。他们声称，OpenAI 的智能体是在利用了其长达一年的 AI 辅助研究成果后，才得以在纳维-斯托克斯问题上取得突破，但 OpenAI 在发布成果时并未给予他们应有的署名。Buckmaster 在社交平台 Mastodon 上发布了一份详细记录，描述了他与 OpenAI 员工的沟通经过：OpenAI 方面给出了两个选择——要么 Buckmaster 和 Alpöge 先发布自己的简化版证明，OpenAI 次日再发布完整版；要么 Buckmaster 与 OpenAI 合作发表论文，但需将 Alpöge 排除在作者名单之外，理由是 Alpöge 供职于 OpenAI 的最大竞争对手 Anthropic。Buckmaster 还提到，他询问 OpenAI 员工其智能体是否获取了他们与 AI 模型协作的完整对话记录，对方予以否认；但当问及这些记录是否被用于训练模型时，对方则避而不答。OpenAI 否认了所有指控，其技术人员 Sébastien Bubeck 在新闻发布会上表示，团队是在听闻 Buckmaster 和 Alpöge 的研究传闻后受到启发才决定攻克该问题，但未承认模型直接使用了对方的数据。 抛开争议本身，这一事件折射出 AI 时代数学研究的深层危机。纳维-斯托克斯方程描述的是水和空气等流体的运动规律，是流体动力学的基石，但科学家始终无法确定其在某些极端条件下是否会崩溃（例如预测出流体速度无限大的荒谬结果）。Buckmaster 和 Alpöge 用近一年时间，借助 OpenAI 和 Anthropic 的公开模型，证明了简化版方程确实会崩溃；而 OpenAI 随后用其内部模型（性能远超上周刚发布的 Astra 模型）证明了完整版方程同样会崩溃。尽管 OpenAI 表示不打算领取 100 万美元的奖金，但问题的关键在于：这种级别的突破，已经不再是数学家凭借纸笔和学术直觉就能完成的。它需要的是只有少数前沿 AI 公司才拥有的超强算力和专有模型，而这些公司的运作逻辑——保密、竞争、知识产权——与支撑数学界数百年进步的开放合作传统格格不入。如果未来最重大的数学难题都只能在这样的“黑箱”中求解，那么人类数学家的角色将从创造者沦为验证者，甚至旁观者。这场风波或许只是开始，它迫使整个学术界必须回答一个紧迫问题：当 AI 成为数学研究的基础设施时，我们该如何重新定义贡献、署名与合作的规则？