顶尖数学家激烈交锋：OpenAI被指责“掠夺性行为”！

近来，数学——这门最缓慢、最严谨、最抽象的学科，正因人工智能的迅猛崛起而被推上舆论风口。9月15日，在德国海德堡诺贝尔奖得主论坛上，一群顶尖数学家登台，直面AI对传统学科的冲击。而引爆这场争论的导火索，是OpenAI于9月8日抛出的一项重磅声明——该公司已部署1万个人工智能智能体，用于求解纳维-斯托克斯方程的存在性与光滑性问题——这是克雷数学研究所2000年提出的七大“千禧年大奖难题”之一，解决者将获100万美元奖金。

然而，真正令数学界震动的并非技术本身，而是围绕这一成果的争议。据Live Science报道，数学家特里斯坦·巴克马斯特和莱文特·阿尔珀格声称，他们在研究纳维-斯托克斯方程约一年后，OpenAI得知了他们的研究成果并急于抢先发表，一名OpenAI代表甚至威胁他们不得对外公开。哥伦比亚大学数学教授迈克尔·哈里斯在论坛上直言：“我们所目睹的这类掠夺性行为——尤其是在过去一个月里——在法律上并无任何障碍，正如19世纪时，殖民列强以暴力手段攫取领土也不存在法律上的阻碍一样。”他将大型科技公司称为“黑帮”，呼吁出台监管框架，保护数学及其从业者免遭此类行为侵害。悉尼大学的乔迪·威廉姆森对此表示认同。

但争议远未平息。2026年菲尔兹奖得主、多伦多大学数学教授雅各布·齐默尔曼——他于今年7月加入OpenAI担任人工智能安全研究员——特别强调了该公司内部AI模型所取得成就的非凡意义。他认为，OpenAI关于纳维-斯托克斯方程的发布标志着数学研究方式及其参与主体的一次分水岭式变革。“如果我们把价值寄托于正在诞生的新数学——它既能服务于社会，又能为数学家提供研究课题——那么这似乎就是一个黄金时代。”齐默尔曼说，“两年后的世界，将会与如今大不相同。”

与齐默尔曼形成鲜明对比的是，2018年菲尔兹奖得主、德国马克斯·普朗克数学研究所联合所长彼得·舒尔策。他将OpenAI的声明斥为“某种公关手段”，指出千禧年大奖难题的意义并不在于仅仅解决一个数学问题，而在于以一种有助于增进人类理解的方式，为一系列相关开放性问题带来全新视角——这正是冗长的机器生成证明难以做到的。舒尔策坦言自己从未让大型语言模型进行过任何提示，并自豪地展示了自己那部“功能机”。他认为，人工智能在很大程度上只是加速了数学领域的进展，而当人们已经不可能真正理解所有已取得的成果时，这种加速便显得价值有限。

仅在过去一年里，AI系统就为解决匈牙利数学家保罗·埃尔德什提出的数十个问题作出了重要贡献，开展了可发表的博士级研究，并正式验证了两份曾使作者荣获菲尔兹奖的证明。诸多倡议——如“证明与提示”“数学话语”以及“人类数学协会”——旨在守护人类数学的核心，使这一领域继续成为人类文化与理解的家园。然而，对于所有与会嘉宾而言，AI领域的变革与进步之迅猛，使得他们无法对这些举措的影响或该领域未来的面貌作出明确预测。哈里斯指出：“那些采取破坏社区利益之举的人，不应被视为合格成员。”而齐默尔曼则感叹：“说实话，每当有人谈起10年后，甚至5年后……总觉得那似乎遥不可及。两年后的世界，将会与如今大不相同。”哈勃观察员 科学新闻 数学 人工智能