陶哲轩直言:如果AI能解决大部分数学问题,数学界的“文化”将崩塌

陶哲轩说了一句很重的文化话。他说,陶哲塌如果AI能力猜想的轩直强版本成为现实,数学界的言果文化将崩塌。
注意,决大界的将崩他不是部分在担心数学这门科学会完蛋。数学真理永远是数学数学真理,不会因为谁发现的问题而贬值。他担心的文化是“数学界”这三个字——那群自称数学家的人,他们赖以生存的陶哲塌评价体系、荣誉机制、轩直代际传承方式,言果统统会被扫进垃圾桶。决大界的将崩
现在的部分数学界怎么运转?很简单。解决一个难题,数学数学发表一篇论文,被同行引用,拿一个奖项,升一个职称,招几个博士生,让他们继续解决难题。这条流水线运转了几百年,从牛顿时代就差不多是这个样子。它的核心是一套价值判断——谁解决了更难的题,谁就是更好的数学家。
但AI来了之后,这个“更难”的标准可能会被碾碎。举个例子,以前大家公认一个顶级难题需要人类天才花十几年甚至几十年去攻克。怀尔斯证明费马大定理用了七年,张益唐证明孪生素数猜想的关键突破熬到了58岁。这些故事构成了数学界的英雄史诗。但现在,AI用了一周时间,花了几百美元,解决了一个45年无人能解的埃尔德什问题。如果未来这种速度成为常态,问题本身不再是稀缺品,那“解决问题的难度”这个标尺就失效了。标尺没了,你用什么来衡量一个数学家的价值?
这是数学界真正的生死问题。数学本身不会死,但数学家的共同体可能会散架。就像一个村里的铁匠铺,手艺传承了三百年,突然有一天工厂量产的精钢刀具比手工锻造的更锋利更便宜,铁匠的手艺没人要了。不是锅碗瓢盆不需要了,是没人在乎谁打的铁了。
陶哲轩担心的文化崩塌,就是这样一种失落。不是丢掉了定理,是丢掉了那个围坐在一起讨论证明、为同行鼓掌、为天才惊叹的温暖共同体。他描绘的图景里,数学知识从“稀缺”走向“充裕”,研究被拆解成AI完成的多个环节,人类数学家更多是在“翻译”和“解释”。如果解决难题不再是数学家日常的核心,那么他们在共同体中的角色和自我认同就要被重写了。
他没有给出解决办法,只是把伤口亮出来给人看。有些人觉得他危言耸听,但更多人心头一沉——陶哲轩是站在山顶的人,连他都在担心山顶会不会塌,那山脚下的人是不是该做点什么了?
也许未来数学家的KPI会从“你证出了几道难题”变成“你挑出了几道AI证明里有审美价值的定理”,或者“你给AI出了几道好题”。谁知道呢。这个时代最让人慌的地方就是——给你答案的不是老师,是还没升级完的软件。
(责任编辑:新闻中心)
- 注意!铁路中秋国庆假期运输启动:10月7日返程火车票今天开售
- 百度集团:9月1日起港交所转为主要上市!实现港美双重主要上市
- 三大车企巨头集体撤退!L3自动驾驶要凉
- 【早报】姆巴佩戴帽皇马大胜 萨维尼奥热刺首秀传射
- 装机党省钱了!锐龙7 9800X3D实测:DDR5
- Nike让Air吃下恶魔果实!海贼王联名鞋款首度曝光
- 天才育碧神操作!《魔法门之英雄无敌3》上架Steam:却忘放游戏文件
- 晋级资格赛决胜轮!袁悦2
- 三大指数缩量收跌 ,沪深成交额不足1.7万亿,风电设备行业走强!
- 退役11年为何现在才安置我 刘翔喊话被挤上热搜:手握耐克终身合同 年入保底1400万早财富自由
- GC26:《红色沙漠:增强版》官宣!全新故事内容免费升级
- 经济学家谈机器人龙头企业宇树科技研发经费不高:比牧原养猪的研发经费还低
- 日本人平均身高不及中韩 日媒列3大原因:不含遗传基因
- 千问办公首发上线Qwen3.8
- 湖南出现历史上最荒唐法官!判男方净身出户,然后跟拿到全部资产的女方结婚
- 智己LS6无方向盘版本测试车内饰曝光:直指L5自动驾驶
- 我们的人力成本是欧洲同行两倍多!大众CEO为裁员10万造势 工会不买账
- 3000观众坐满!23岁郑钦文8次双误 赛后忙签名 回应:进攻太着急了
- 我国充电枪总数突破2400万个 公桩平均功率首次50KW
- 百度集团:9月1日起港交所转为主要上市!实现港美双重主要上市
- 稻香村中式点心糕点组合大促 任选5件到手29.8元 views+
- 超时空街球对决官网版下载安装 views+
- 项目漂移中文版手游下载 views+
- 街球艺术国际服手游下载 views+
- 彩经前瞻:巴西国际vs格雷米奥,预计主队一球小胜 views+
- 彩经前瞻:奥胡斯vs本菲卡,强悍客队有望双杀对手 views+
- 多部门会商研判:台风“沙德尔”预计8月26日前后进入我国东海,后续影响多省 views+
- 小米18 Pro Max配置看齐Ultra:超大杯同款算法+满血芯片 售价要涨 views+
- 彩经前瞻:安德莱赫特vs阿拉木图凯拉特,预计主队取胜 views+
- 10年逆袭增长8倍!中国大陆先进制程自给率将达66% views+