本文经授权转载自微信公众号凤凰WEEKLY(ID:phoenixweekly)原标题 |王虹和韦东奕们,也要被 AI「斩杀」了?一位拿过数学界顶级大奖的教授,被AI气哭了。
“周二晚上,我哭了,把女儿吵醒了。”
10月8日,法国数学家雨果·杜米尼尔-科潘在一场线上会议上,讲起了自己的经历。他是2022年菲尔兹奖得主,早已经站在数学研究的顶端。让他落泪的,是OpenAI刚刚公布的一大批数学研究成果。
其中,有16个问题直接关系到他的研究。
在随后的电台采访中,他说AI像推土机一样,把自己正在研究的问题一路推平了。仅用0.1秒,经常打工的人就共情了这位顶级数学家的职场困境。它相当于——
你花了很多年学习、积累,好不容易找到一个可以暴富的商机,突然有人告诉你:
这一整套商业模式,半天前被AI用0成本落地了。
雨果·杜米尼尔-科潘当然不是唯一一个受害者。
OpenAI一次性发布了722篇数学论文,涉及到了数百项数学成果,涉及数论、几何、理论计算机科学等多个领域。在著名的论文预印本平台arXiv上,一个人每月只能上传2篇论文,如果要把这些论文都传上去,至少也得有300多个号才行。比如1859年提出的黎曼猜想,已经过了167年,至今仍然悬而未决,OpenAI 说他们这次取得了重要的进展,给出了更强的“无零点区域”结果;卡塔兰常数是否是无理数,也已经困扰数学家100多年。OpenAI说,他们已经成功证明,这确实是一个无理数;让王虹今年获得菲尔兹奖的挂谷猜想,1917年提出,直到1971年才给出了二维的证明,2025年王虹又给出了三维的证明。这才过去一年 ,AI就给出了四维的证明。更令人破防的是,这些困扰人类百年的数学难题,OpenAI解决起来却快得要命:平均每项成果消耗的计算量,相当于ChatGPT Pro思考3个小时。
恐怖如斯。
虽然那些复杂的公式我们依然看不懂,但那种“我努力了这么多年,突然就落后了”的心情,咱普通人太懂了。
过去十几年,我们熬夜考试、加班,数学家熬夜考试、证明。大家都曾朴素地希望,自己的努力能换来一个安稳的未来。
但一夜之间,就连站在智力金字塔尖上的人,饭碗也被AI抢走了。
看到AI的这批论文,数学家们的反应是震惊、瘫坐,仿佛看到了原子弹爆炸。无论从成果数量、广度、突破速度来看,这都是数学史上前所未有的大事件。虽然说AI是站在了巨人的肩膀上,但问题是,谁又不是站在巨人的肩膀上呢……虽说现在说AI的研究结果还没有经历学术界的同行审议,靠不靠得住还要另说,但这种效率和数量的碾压,还是让几乎所有从业者都压力山大。当然,OpenAI不在乎人类的感受,他们只是一味地往数学圈扔炸弹。就在7月19日,也就是世界杯决赛的那天晚上,Anthropic的一位研究员在X上发了一条推文,大致意思就是说,自己已经证伪了雅可比猜想。雅可比猜想并不是什么阿猫阿狗,而是困扰了数学家80多年的重要难题。问题描述就一句话:若一个多项式映射的雅可比行列式为非零常数,则该映射必存在多项式反函数。这个问题很简单,但是答案比较难。简单的谜面曾经吸引无数数学家入坑,然后再也没爬上来。在几十年的历史里,曾经多次有数学家宣布解决了这个问题,但随后又被指出,他们的证明是错的……包括华人数学家张益唐在内,很多数学家已经被搞出了PTSD。折磨了数学家几十年以后,这个猜想就这样被一条推文轻描淡写地证伪了……竞争对手OpenAI不甘示弱,也加入了这场数学“军备竞赛”。在几个月的时间里,双方宣称解决的数学问题包括但不限于:不过,力大砖飞不一定是好事,很多数学家都表示对此深感忧虑。首先的首先,AI不讲武德的超车,让很多数学家耗费大量心血的工作,面临半途而废的风险。AI不仅让一些数学家面临饭碗被砸的风险,还让他们对自己的水平产生了怀疑。
比如OpenAI这次集中做出了一批算子代数的成果,一位相关领域的数学家看后的结论是:
AI是对的,人类在错误的方向浪费了30年。
也有人因此面临更现实的生计问题。
有人发现自己正在做的方向被爆破了,下来项目经费不知何去何从;还有人的论文写到一半不用写了,学位能不能拿到还要两说。
在Reddit上,一位自称研究算子代数的博士生留言说,自己和同学已经解决了某个问题的特殊情形,还与导师商量好了下一步,准备把更一般的情形发展成博士论文。OpenAI公布成果后,他们开始赶着整理已有的工作成果,希望以独立研究的形式发表。他认为,课题仍有继续研究的价值,但原先的兴奋感已经大打折扣。
宏大的技术进步,落到具体的人头上总是让人叹息。
搞出这个大新闻后,OpenAI首席执行官(Sam Altman)终于不再震惊瘫坐,改仰望星空了。原文:http://weixin.sogou.com/weixin?type=2&query=Vista%E7%9C%8B%E5%A4%A9%E4%B8%8B+%E7%8E%8B%E8%99%B9%E5%92%8C%E9%9F%A6%E4%B8%9C%E5%A5%95%E4%BB%AC%EF%BC%8C%E4%B9%9F%E8%A6%81%E8%A2%AB%20AI%E2%80%9C%E6%96%A9%E6%9D%80%E2%80%9D%E4%BA%86%EF%BC%9F
show = false, 2600)"
x-show="show" x-cloak x-transition.opacity.duration.200ms
class="fixed bottom-8 left-1/2 z-[80] -translate-x-1/2 rounded-lg border border-line bg-card px-4 py-2.5 text-sm text-heading shadow-card-hover"
role="status" aria-live="polite">