打开网易新闻 查看精彩图片

法国高等科学研究所教授、菲尔兹奖得主维拉尼在接受《每日经济新闻》视频专访时表示,OpenAI自动证明纳维-斯托克斯方程后,数学的学科位置和学界评价生态正面临根本性挑战。他用一句话概括这一变化:“短短几个月内,数学从受AI冲击最小的学科,变成了受冲击最大的学科”。

从“最小冲击”到“最大冲击”

9月,25位在世菲尔兹奖得主联名发布声明,警示AI与数学界出现严重错位。维拉尼的访谈判断与这一声明形成呼应。数学长期被视为人类智力活动的高地,AI对它的冲击曾被认为相对有限。但按照维拉尼的说法,OpenAI自动证明纳维-斯托克斯方程后,情况在短时间内发生变化。

纳维-斯托克斯方程是流体力学中的核心方程,其证明与理解长期被视为数学和物理交叉领域的高难问题。AI在该问题上的进展,意味着机器不只参与计算、检索和模式识别,也在向形式化推理和数学发现逼近。维拉尼所谈的冲击,指向的是当AI进入数学证明环节,数学界原有的生产方式与评价方式将如何被扰动。

千年评价生态面临瓦解

维拉尼尤其担忧的是,学界千年评价生态面临瓦解。数学共同体长期依靠论文发表、同行评议、引用、奖项和教职晋升等机制,形成相对稳定的学术阶梯。若AI能够快速生成证明并参与发现过程,原有评价标准就可能失去分辨力:什么是有价值的问题,什么是真正的贡献,如何判断年轻学者的能力,都会变得比过去更复杂。

对年轻学者而言,这种变化尤为直接。维拉尼担忧年轻学者失去学术阶梯——当旧规则不再可靠,他们可能难以沿着既有路径积累成果、获得认可并进入学术共同体。

在旧规则坍塌前拉响警报

面对这一局面,维拉尼呼吁在旧规则坍塌前向全社会拉响警报,重新思考人类从事数学与智力工作的意义。这一呼吁所触及的,不只是数学界内部的技术适应,也会牵动教育、科研组织、人才评价和公众认知等层面。

AI进入数学,提出的问题并非“机器能否证明定理”这么单一,而是当机器可以承担越来越多智力任务时,人类为何从事数学、如何定义创造性劳动、如何为年轻一代保留成长通道。维拉尼的发言因此具有超出数学界的意义:它把AI冲击从工具效率问题,推向科研制度和人类智力工作意义的层面。

对于通信行业和科技产业观察者而言,这一判断同样值得重视。AI对基础学科的渗透,会沿人才链、创新链和评价链向外传导;当数学这类基础学科的评价生态发生变化,相关技术领域的研发组织与人才体系也难以完全置身事外。维拉尼的呼吁指向一个现实:在旧规则坍塌前,警报需要被听见。