本文经授权转载自微信公众号凤凰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个小时。


恐怖如斯。



01 

AI三巨头,

正疯抢数学家的饭碗


老实说,这是普通人和数学家最接近的时刻。

虽然那些复杂的公式我们依然看不懂,但那种“我努力了这么多年,突然就落后了”的心情,咱普通人太懂了。


过去十几年,我们熬夜考试、加班,数学家熬夜考试、证明。大家都曾朴素地希望,自己的努力能换来一个安稳的未来。


但一夜之间,就连站在智力金字塔尖上的人,饭碗也被AI抢走了。


看到AI的这批论文,数学家们的反应是震惊、瘫坐,仿佛看到了原子弹爆炸。

无论从成果数量、广度、突破速度来看,这都是数学史上前所未有的大事件。

图片

虽然说AI是站在了巨人的肩膀上,但问题是,谁又不是站在巨人的肩膀上呢……

虽说现在说AI的研究结果还没有经历学术界的同行审议,靠不靠得住还要另说,但这种效率和数量的碾压,还是让几乎所有从业者都压力山大。

当然,OpenAI不在乎人类的感受,他们只是一味地往数学圈扔炸弹。

这轮数学军备竞赛,在AI圈已经搞了一阵子了。

先吹响号角的是Anthropic。

就在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

相关文章

苏俊涛/刘莉莉海岸赛艇夺冠 中国代表团达喀尔首见“金”

苏俊涛/刘莉莉海岸赛艇夺冠 中国代表团达喀尔首见“金”

新华社新闻_新华网
沃什,是鹰还是鸽?

沃什,是鹰还是鸽?

虎嗅
“惠普们”要把产能搬回中国,手机代工厂抢先接单了

“惠普们”要把产能搬回中国,手机代工厂抢先接单了

虎嗅
中国农机在阿根廷:收割机为什么卖不过拖拉机?

中国农机在阿根廷:收割机为什么卖不过拖拉机?

虎嗅
半小时卖出2万亿Token,李佳琦直播卖千问办公爆火

半小时卖出2万亿Token,李佳琦直播卖千问办公爆火

雷峰网
Anthropic 第三季度营收 170 亿美元同比暴涨 11 倍,冲刺史上最大 IPO

Anthropic 第三季度营收 170 亿美元同比暴涨 11 倍,冲刺史上最大 IPO

IT之家