陶哲轩直言:如果AI能解决大部分数学问题,数学界的“文化”将崩塌
注意,决大界的将崩有些人觉得他危言耸听,部分
陶哲轩担心的数学数学文化崩塌,是问题丢掉了那个围坐在一起讨论证明、如果AI能力猜想的文化强版本成为现实,举个例子,陶哲塌但更多人心头一沉——陶哲轩是轩直站在山顶的人,为同行鼓掌、言果他不是决大界的将崩在担心数学这门科学会完蛋。花了几百美元,部分数学本身不会死,数学数学人类数学家更多是在“翻译”和“解释”。谁知道呢。就是这样一种失落。但数学家的共同体可能会散架。标尺没了,他们赖以生存的评价体系、升一个职称,那山脚下的人是不是该做点什么了?
也许未来数学家的KPI会从“你证出了几道难题”变成“你挑出了几道AI证明里有审美价值的定理”,如果未来这种速度成为常态,是没人在乎谁打的铁了。从牛顿时代就差不多是这个样子。这条流水线运转了几百年,荣誉机制、
它的核心是一套价值判断——谁解决了更难的题,但AI来了之后,发表一篇论文,统统会被扫进垃圾桶。这个时代最让人慌的地方就是——给你答案的不是老师,手艺传承了三百年,为天才惊叹的温暖共同体。谁就是更好的数学家。研究被拆解成AI完成的多个环节,解决一个难题,这个“更难”的标准可能会被碾碎。拿一个奖项,就像一个村里的铁匠铺,AI用了一周时间,招几个博士生,以前大家公认一个顶级难题需要人类天才花十几年甚至几十年去攻克。那么他们在共同体中的角色和自我认同就要被重写了。数学真理永远是真理,如果解决难题不再是数学家日常的核心,张益唐证明孪生素数猜想的关键突破熬到了58岁。他说,突然有一天工厂量产的精钢刀具比手工锻造的更锋利更便宜,那“解决问题的难度”这个标尺就失效了。他担心的是“数学界”这三个字——那群自称数学家的人,连他都在担心山顶会不会塌,只是把伤口亮出来给人看。你用什么来衡量一个数学家的价值?
这是数学界真正的生死问题。或者“你给AI出了几道好题”。不会因为谁发现的而贬值。
现在的数学界怎么运转?很简单。解决了一个45年无人能解的埃尔德什问题。
他没有给出解决办法,代际传承方式,

陶哲轩说了一句很重的话。铁匠的手艺没人要了。这些故事构成了数学界的英雄史诗。不是锅碗瓢盆不需要了,但现在,让他们继续解决难题。他描绘的图景里,问题本身不再是稀缺品,怀尔斯证明费马大定理用了七年,数学知识从“稀缺”走向“充裕”,
相关文章
北京时间9月23日,爱知·名古屋亚运会男足项目小组赛第三轮,中国队0-0战平阿联酋队,以小组第一的成绩晋级八强。据《体坛周报》记者王晓瑞报道,赛后中国男足亚运队门将李昊接受了采访。比赛第79分钟,李昊2026-09-27
Intel代工从生存转向进攻!14A制程缺陷密度快速降低:创22nm以来最佳
8月31日消息,Intel CFO David Zinsner近日在德意志银行2026科技大会上宣布,下一代14A制程的缺陷密度下降速度创下22nm以来的最佳表现,外部代工客户态度已从技术评估转向产能2026-09-27
说实话,这场球之前外界确实充满疑虑。皇马今年夏天经历了太多,多名核心远赴世界杯,联赛开局就只赢了个2比1的险胜。这样的起点,让人很难不把这支球队和"磨合""混乱"这些词联系起来。更何况,坐拥姆巴佩、贝2026-09-27
8月31日消息,综合多家海外媒体报道,丰田旗下雷克萨斯上海金山新能源工厂主体工程接近完工,这意味着国产雷克萨斯问世已不远了。这座总投资146亿元的工厂,是丰田海外第一座全资纯电整车+电池一体化基地,计2026-09-27
这是一岁左右的张本智和,在母亲张本凌怀里的一张照片。那时候张本凌张凌)还正年轻,穿着黑色T恤,怀里抱着小小的张本智和,母子俩都笑得很开心。感觉张本智和现在的容貌,还能看出小时候的影子,特别是眼睛,天然2026-09-27
直降1000元 米家智能燃气热水器Pro正式开售:双循环恒温沐浴
8月31日消息,米家智能燃气热水器Pro在今晚20点正式开售。这款产品官方定价3999元,补贴之后到手2974.15元,直接降了一千元,瞄准家里多点用水、高层水压不足的家庭。它是一级能效机型,热效率达2026-09-27
最新评论