指出,AI公司将解决数学难题作为模型能力基准的做法,对数学科学本身及数学界造成了损害,与数学共同体追求概念理解的根本目标产生了显著分歧。
这份发表之前,OpenAI刚宣称其未公开的内部AI模型用88个小时解决了纳维-斯托克斯方程的存在性与光滑性问题。
的25位签署人之一埃菲·杰曼诺夫在接受
杰曼诺夫因解决20世纪群论核心难题——限制Burnside问题,于1994年荣获菲尔兹奖。另外,杰曼诺夫与Benkart证明的李代数坐标化定理被认为是处理无穷维李理论的基石。2001年,杰曼诺夫当选为美国国家科学院院士,2021年当选为中国科学院外籍院士。
人类必须掌握数学的主导权,完全依赖AI是一条通向灾难的不归路。数学必须由人类掌握在自己手中。AI公司拥有近乎无限的资金,这意味着他们可以随时部署数万个智能体。这些智能体几乎“无所不知”,但问题在于,它们完全是建立在人类数学家已有工作的基础之上的,却没有给予适当的署名或归属,这本质上是侵犯知识产权。
这完全是建立在人类数学家近期发现的新思想之上的。虽然我没有确凿的证据,但情况很可能是这样的:
打个比方,一群数学家就像正在冲向终点的骑行选手,一位西班牙数学家对吉尔萨诺夫方程提出新的思路。AI则在一旁观察人类的研究,等到人类快要抵达终点,就投入超过2000万美元,调动上万个智能体协同作战,并抢先冲线,然后宣称自己第一个完成。
因为这能够带来曝光度,有宣传效果。很多AI从业者之前也是数学家,这其中也掺杂了个人利益诉求。他们就是在寻求进展的氛围中成长起来的,攻克知名难题也算是向自己的师长交出一份答卷。
数学界的目标是发展“概念性理解”,并培养下一代数学家。而AI公司的目标是搞噱头,为IPO制造宣传效果。两者目标截然不同,我们根本不在乎AI公司的宣传,我们在乎的是下一代年轻人,是数学研究的连续性。过去几百年,数学界形成了一套行之有效的体系:年轻人进入研究生院,资深学者提出一些中等难度的数学问题。年轻人通过攻克这些问题,发表论文,获得工作,这样一步步成长起来。
大多数问题之所以被提出,不仅仅是因为它们本身有趣,更是因为要解决这些问题,我们就必须建立一套完整的基础,推动对这一领域的“概念性理解”。这样既推动了数学发展,又能培养新一代数学家。
我们得到的答案可能正确,却绝对无法提供任何概念性的理解,也不能给下一代数学家留下任何启发。AI确实非常强大,相比两个月前又进步不少,人类数学家也会使用AI,我们不可能“再把精灵放回瓶子里”。但我反对“敌意式接管”——它们会破坏整个数学研究体系。
知道一个结论是正确的,与真正理解为什么它是正确的,两者之间非常微妙。所有数学知识和正确解法,通常都可以追溯到几个伟大的核心思想。所谓“概念性理解”,就是寻找这些思想,因为这才是推动数学发展的关键。
简单说,AI会让所有年轻数学家失去工作。我们需要培养具备“概念性理解”能力、真正理解数学正在发生什么的人类数学家,让他们把数学继续发展下去。“‘AI减速论’是另一种形式的宣传,我不认为有人会真的放慢脚步”
坦白说,我完全不明白他们所谓的“减速”是什么意思。也许这只是另一种形式的宣传。现在公众对庞大的数据中心有一些抵触情绪,所以他们觉得这些就是部分民众想要听到的话罢了。我们对此根本不应该过度关注。看看历史就知道,技术发展本身就是不断向前推进的。
到目前为止,还没有发生,也没有理由相信这种情况会很快发生。毕竟如我之前所说,AI目前所做的一切,本质上都建立在人类数学家的工作之上。没有数学,就没有AI。数学家们的工作仍然和以前一样,在尝试寻找新的思想,进行自己的研究。我们不应该高估AI,也不应该把它的作用夸大。到目前为止,它们只是解决了一些中等难度的问题。
埃菲·杰曼诺夫:他们依然需要学习基础数学,因为所有的发展都是建立在人类几百年来积累的基础数学和核心思想之上的。以现代的密码学和编码理论为例。过去将军们传递密信极其困难,但今天,当你登录电邮、使用信用卡时,几十亿人都在毫不停歇地交换加密信息,且极其安全。这是怎么做到的?因为现代密码学就是建立在19世纪初法国天才少年埃瓦里斯特·伽罗瓦的工作基础之上。
在长达150年的时间里,伽罗瓦的理论在数学领域之外被认为“毫无用处”。但那些在顶尖大学受过良好教育的人在今天将其转化为了现代科技的基石。
埃菲·杰曼诺夫:到目前为止,AI拿出的最复杂的解决方案,仍然是人类做出的。所以我认为你说的那种情况在短期内不会发生。但如果有一天,AI宣称自己解开了某道题,而人类持不同意见,那我宁愿相信人类。我就是坚持以人类为中心的立场——我在乎的是人类,不是AI智能体。
埃菲·杰曼诺夫:是那种神圣的火花——创造力。数学家看待问题的视野广阔,也有对现实应用的考量,还有对数学之美的感知。伽罗瓦构建他那套伟大理论的时候,完全没有想到这些理论在150年之后会有什么应用,驱动他的是对数学之美的追求。对数学家而言,数学也是一门艺术。我不认为AI能在艺术层面超越我们。
当然,“永远别把话说[*]”。倘若真的有那一天,就不只是数学界的问题,整个人类都将面临严峻处境。



