在涵盖隐藏内容及体验差异的深入解读材料。方面,开云手机版提供贴心周到的支持。
Opexlo Studio - 2018年至今
开云手机版专注开云官网首页,为用户提供专业可靠的体验。
Opexlo Studio - 2018年至今
Xolo Creation - 2017年至2018年
Pixxi Lab - 2014年至2017年
Zelpo Studio - 2009年至2014年
一位曾荣获数学界最高荣誉的教授,被AI气得落泪。
“周二深夜,我哭了,把女儿吵醒了。”
10月8日,法国数学家雨果·杜米尼尔-科潘在一次线上会议中分享了自己的经历。作为2022年菲尔兹奖得主,他早已站在数学研究的巅峰。让他落泪的,是OpenAI刚公布的大量数学研究成果。
其中,有16个问题直接关联他的研究方向。
在后续电台访谈中,他形容AI像推土机一样,把自己正在钻研的问题一路碾平。仅用0.1秒,经常打工的人就理解了这位顶级数学家的职场困境。它相当于——
你花多年学习积累,好不容易找到一个能暴富的机会,突然有人告诉你:
这一整套商业模式,半天前被AI用零成本实现了。
雨果·杜米尼尔-科潘当然不是唯一的受害者。
OpenAI一次性发布了722篇数学论文,涉及数百项数学成果,涵盖数论、几何、理论计算机科学等多个领域。
在著名的论文预印本平台arXiv上,每人每月只能上传2篇论文,若要将这些论文全部上传,至少需要300多个账号。
其中有一些相当棘手的难题,已困扰科学家上百年。
例如1859年提出的黎曼猜想,历经167年仍未解决,OpenAI声称此次取得了重要进展,给出了更强的“无零点区域”结果;
卡塔兰常数是否为无理数,也已困扰数学家100多年。OpenAI表示,他们已成功证明它确是无理数;
让王虹今年获得菲尔兹奖的挂谷猜想,1917年提出,1971年才完成二维证明,2025年王虹给出三维证明,仅过一年,AI就给出了四维证明。
此次公布的成果中,类似的重磅突破还有很多。
更令人破防的是,这些困扰人类百年的数学难题,OpenAI解决起来速度惊人:
平均每项成果消耗的计算量,相当于ChatGPT Pro思考3个小时。
恐怖如斯。
01
AI三巨头,正在疯抢数学家的饭碗
老实说,这是普通人和数学家最接近的时刻。
虽然那些复杂公式我们依然看不懂,但那种“我努力了这么多年,突然就落后了”的心情,普通人太熟悉了。
过去十几年,我们熬夜考试、加班,数学家熬夜考试、证明。大家都曾朴素地希望,自己的努力能换来安稳的未来。
但一夜之间,连站在智力金字塔尖的人,饭碗也被AI抢走了。
看到AI这批论文,数学家们的反应是震惊、瘫坐,仿佛目睹了原子弹爆炸。
无论从成果数量、广度还是突破速度来看,这都是数学史上前所未有的大事件。
AI生成
虽说AI是站在巨人肩上,但问题是,谁又不是站在巨人肩上呢……
虽说目前AI的研究结果尚未经历学术界的同行审议,可靠性还需验证,但这种效率和数量的碾压,仍让几乎所有从业者压力山大。
当然,OpenAI不在乎人类的感受,他们只是一味地向数学圈投掷炸弹。
这轮数学军备竞赛,在AI圈已持续一阵子了。
首先吹响号角的是Anthropic。
就在7月19日,也就是世界杯决赛当晚,Anthropic一位研究员在X上发了一条推文,大意是说自己已证伪了雅可比猜想。
雅可比猜想并非等闲之辈,而是困扰数学家80多年的重要难题。
问题描述仅一句话:若一个多项式映射的雅可比行列式为非零常数,则该映射必存在多项式反函数。
问题简单,但答案困难。简单的谜面曾吸引无数数学家入坑,却再也没能爬上来。
几十年来,多次有数学家宣称解决了这个问题,但随后被指出证明有误……
包括华人数学家张益唐在内,许多数学家已被折腾出心理阴影。折磨了数学家几十年后,这个猜想就这样被一条推文轻描淡写地证伪了……
竞争对手OpenAI不甘示弱,也加入了这场数学“军备竞赛”。
几个月内,双方宣称解决的数学问题包括但不限于:
这可能是数学史上最“力大砖飞”的几个月。
不过,“力大砖飞”不一定是好事,许多数学家对此深感忧虑。
首先,AI不讲武德的超车,让许多数学家耗费大量心血的工作面临半途而废的风险。
AI不仅让一些数学家面临饭碗被砸的危机,还让他们对自己的水平产生怀疑。
比如OpenAI这次集中产出了一批算子代数成果,一位相关领域的数学家看后得出结论:
AI是对的,人类在错误方向上浪费了30年。
也有人因此面临更现实的生计问题。
有人发现自己正在做的方向被“爆破”了,项目经费不知何去何从;还有人的论文写到一半不用写了,学位能否拿到还是未知数。
在Reddit上,一位自称研究算子代数的博士生留言说,自己和同学已解决了某个问题的特殊情形,并与导师商量好下一步,准备将更一般的情形发展为博士论文。OpenAI公布成果后,他们开始赶着整理已有工作,希望以独立研究形式发表。他认为课题仍有研究价值,但原先的兴奋感已大打折扣。
宏大的技术进步,落到具体的人头上总是令人叹息。
搞出这个大新闻后,OpenAI首席执行官Sam Altman终于不再震惊瘫坐,改为仰望星空了。
去年AI还分不清9.8和9.11谁大,今年就已能挑战黎曼猜想。
明年想做什么,我已经不敢想了。
王虹、邓煜获奖时就有人说过,这可能是最后一届纯人类的菲尔兹奖。
那时我们并不相信,但现在却不得不信了。
02
第一批被AI取代的,都是优等生?
那么,数学家们到底怎么得罪了AI公司,后者非要砸他们的饭碗?
答案是两者并无仇怨。相反,各家大模型都在认真招揽数学人才。
毕竟,AI大战中,没有什么比数学更适合做军事演习了。
数学家,只是恰好站在了AI公司争夺天下的路上。
不为AI所用,便为AI所杀。
今年刚与王虹、邓煜一同获得菲尔兹奖的雅各布·齐默尔曼,现已加盟OpenAI,参与AI安全工作。
前一段时间破解雅可比猜想的Alpöge是他的学生,目前就职于Anthropic。
齐默尔曼说过一句话:我做数学,主要是因为我享受它,而且我擅长它。
AI公司疯狂爆破数学成果,却不是因为热爱数学。
而是因为数学有精密的形式逻辑,非常适合AI大显身手。更重要的是,它满足了AI公司每隔一段时间就要搞个大新闻的需求。
在这场AI竞赛中,数学就是那个被推到台前的“红颜祸水”。AI巨头看似重视数学,实则争夺的是技术领先地位,以及背后的用户、资本和市场。
数学家视作终身事业的研究,在AI公司的竞争逻辑里其实只是一块广告牌。
毕竟现在AI的竞争强度,不夸张地说就是以百米赛跑的速度冲刺,但谁也不知道终点在哪。
哪家公司停下来喘口气,可能就会直接出局。不是不进则退,而是进步太慢,就等于退步。
Anthropic正在冲刺上市
从GPT3到GPT6,每个大版本的迭代时间分别是3年、2年、1年,小版本更是恨不得周周更新。
AI公司必须不断开辟新赛道,不停提供吸引眼球的成果,才能维持不掉队的水平。
谷歌的Gemini,就因为关键的一两个版本掉了队,就被网友褫夺封号,降为“美国大豆包”,直到现在都没能重返第一梯队。
这也是奥特曼为什么三天两头就“原子弹爆炸”、“震惊瘫坐”;Anthropic的首席执行官达里奥也是装神弄鬼、一惊一乍。
AI需要不断寻找新的“珠峰”,证明下一代模型确实比上一代更聪明。
数学,就是一个盛产难题的领域。
推理能力提升百分之几,token消耗降低百分之几,用户很难有直观感受,但破解一道困扰数学家几十年的难题,这种成果谁都能听懂。
不信去民科吧看一看,90%数学民科都在攻关哥德巴赫猜想。
做题,也是一种秀肌肉。
9月份,OpenAI听说隔壁A家在挑战NS方程,马上把手头的资源都集中到这个方向,组织了一万个AI代理并行工作,终于在A家之前抢发了自己的成果。
NS方程正是韦东奕主攻的方向之一
数学领域现在已成为诸神之战的战场,随便一道余波都可能震晕场内的人类。
在数学家感到被碾压之前,其他行业的人,早已经被碾过好几轮了。
最早让全世界一起冒汗的是围棋。
2016年之后,AlphaGo先后击败李世石、柯洁,从那以后围棋棋手从一种象征人类智慧的职业变成了天天和AI打擂台的工种。
那时,人类还能把这场失败理解为一项特殊技能的失守——机器棋下得好,总不能什么都比人强吧?
后来,战场从棋盘搬到了办公桌。
Midjourney、Stable Diffusion们开始抢画师的饭碗,十年学艺可能不如AI一分钟输出的结果;
代码能力的进步让Vibe coding很快降低到了乐高积木的难度;
至于文案和办公这类工作,对AI来说更是简单到连一滴汗都不会出。
然后是咨询公司、金融机构……越是智力密集的工作,AI越是得心应手。
连靠脸吃饭的行业,也逃不过AI的入侵。
刚刚火起来没两年的短剧,已被AI漫剧降维打击,红果短剧上排名靠前的剧集,AI剧已比真人还多。
AI艺人也已堂堂出道,甚至开始接代言。
仅仅是单人出道还不够,就在最近,芒果TV的AI阵容已官宣上线,虽然只有5个人,但凝视他们的脸你能看到人山人海。
如果这还不能让你感到意外,那么我要告诉你,AI女团艺人甚至已经未婚先孕。
从写材料,到提供专业意见,再到制造美丽的面孔、营造情绪价值,AI正在逐步占领人类生活中的高净值工作。
我们过去习惯相信:工作越需要知识、创意和专业训练,就越不容易被替代。
可这些技能往往留下了大量文字、图像和代码,恰好也是模型可以反复学习、快速生成的东西。
反倒是我们最希望机器接手的那些琐事,还没有这么顺利地从生活中消失。
比如做家务。
我们原本期待,机器接过烦琐的劳动,让人有更多时间去思考和创造。现在情况反过来了:
AI接过了思考和创造,把烦琐的劳动留给了我们。
可如果这么多工作都能更快完成,为什么我们首先感到的是压力,而不是终于可以轻松一点?
03
纯过日子,是人类唯一的选择?
对人类来说,AI最可怕的不是在个别领域和技能上的突破,而是它正在摧毁我们习以为常的观念。
我们一直在为“不被淘汰”做准备。小时候努力考好学校,毕业时选有前景的行业,工作后考证、做项目、积累经验。
大家未必想成为行业顶尖,更多时候想的只是,通过精进自己某方面的技能,带来一点议价能力和不可替代性。
十年前有一类鸡汤很流行,“时代抛弃你的时候连一声招呼都不会打”,这句话真正的意思是时代抛弃你之前其实是会打招呼的,但是很多人没有注意。
结论是我们要跟上时代,不要做被抛弃的人。
DeepSeek刚火起来的时候,有人攒了一本教学指南上架微信读书,一度上升到热度第一。
那时候和AI沟通还是需要门槛的,提示工程师一度被认为是AI时代的重要工种,结果这个职业一两年的时间就黄了:
AI现在比这个世界上80%的员工和99%的领导更能听懂人话。
AI发展到今天,不要说普罗大众了,即使是世界上最聪明的头脑,用漫长时间积累的知识体系,在AI面前,好像也没有什么抵抗能力。
难道,时代这次真的不准备和我们打招呼了?
不过,焦虑或许也无济于事。后AI时代的路怎么走,数学家们还在思考。
有人像陶哲轩一样呼吁要警惕AI,也有人说:要拥抱AI。
10月11日,丘成桐牵头成立了数学与人工智能实验室联盟,联合八家数学研究机构,准备自主研发数学科学专用模型。
这些尝试最终会走向哪里大家都不知道,但要说数学已经结束了,恐怕还早。
30多年前也有人曾经下过定论说历史终结了,后来证明那只是历史的一个逗号。
大变之世,思想总是格外活跃,我们也不必急着替自己写好结局。
据不完全统计,今年已先后出现X压抑理论、大水理论、大睡理论、薄肌理论……诸子百家重现于世。
找耍结合也好,降本增笑也罢,充满不确定性的未来面前,专家和普通人的水平也差不多。
至少还是有一些确定性是可以抓住的。
比如,从明天起,关心粮食和蔬菜,喝大水、睡大觉、做一个纯纯的日子人。
文/王动
编辑/章鱼
本文来自微信公众号 “凤凰周刊”(ID:phoenixweekly),作者:王动,36氪经授权发布。
开云中国官网注意到,在这场AI与数学的激烈碰撞中,许多从业者开始重新思考自身价值。
流利会话
流利会话
流利会话
流利会话