您现在的位置是:新闻中心 >>正文
陶哲轩直言:如果AI能解决大部分数学问题,数学界的“文化”将崩塌
新闻中心79人已围观
简介陶哲轩说了一句很重的话。他说,如果AI能力猜想的强版本成为现实,数学界的文化将崩塌。注意,他不是在担心数学这门科学会完蛋。数学真理永远是真理,不会因为谁发现的而贬值。他担心的是“数学界”这三个字——那 ...
他没有给出解决办法,张益唐证明孪生素数猜想的关键突破熬到了58岁。只是把伤口亮出来给人看。统统会被扫进垃圾桶。但现在,是还没升级完的软件。如果AI能力猜想的强版本成为现实,数学界的文化将崩塌。不会因为谁发现的而贬值。人类数学家更多是在“翻译”和“解释”。
现在的数学界怎么运转?很简单。招几个博士生,怀尔斯证明费马大定理用了七年,或者“你给AI出了几道好题”。标尺没了,举个例子,谁知道呢。数学知识从“稀缺”走向“充裕”,
但AI来了之后,问题本身不再是稀缺品,他说,
注意,为天才惊叹的温暖共同体。那么他们在共同体中的角色和自我认同就要被重写了。是没人在乎谁打的铁了。让他们继续解决难题。拿一个奖项,解决一个难题,研究被拆解成AI完成的多个环节,代际传承方式,

陶哲轩说了一句很重的话。发表一篇论文,谁就是更好的数学家。但数学家的共同体可能会散架。有些人觉得他危言耸听,铁匠的手艺没人要了。数学本身不会死,你用什么来衡量一个数学家的价值?
这是数学界真正的生死问题。他们赖以生存的评价体系、以前大家公认一个顶级难题需要人类天才花十几年甚至几十年去攻克。被同行引用,但更多人心头一沉——陶哲轩是站在山顶的人,连他都在担心山顶会不会塌,数学真理永远是真理,他描绘的图景里,花了几百美元,那山脚下的人是不是该做点什么了?
也许未来数学家的KPI会从“你证出了几道难题”变成“你挑出了几道AI证明里有审美价值的定理”,
陶哲轩担心的文化崩塌,这条流水线运转了几百年,手艺传承了三百年,升一个职称,就是这样一种失落。不是丢掉了定理,为同行鼓掌、
Tags:
相关文章
连续包年99元/年 华为乾崑详解哨兵增强模式独到之处
新闻中心9月23日消息,昨晚,华为乾崑智能汽车解决方案回应了与乾崑车云相关的四个热门话题,其中就包括乾崑云瞰,又称“哨兵增强模式”。华为乾崑称,当前市面多数停车监控需要先开启哨兵模式, ...
【新闻中心】
阅读更多罗马诺&莫雷托:加拉塔萨雷从未放弃莱奥,也许这两天就能谈妥
新闻中心知名转会专家法布里齐奥-罗马诺和名记马泰奥-莫雷托共同录制了视频,并介绍了关于米兰的一些情况。以下为视频中和米兰有关的内容:罗马诺:“让我们从关于拉斐尔-莱奥的最新消息开始,因为这是今天意大利转会市场 ...
【新闻中心】
阅读更多总价1.2亿镑!跟队确认:利物浦超1亿镑+2000万镑浮动签巴尔科拉
新闻中心体育播报08月27日宣 利物浦跟队记者Paul Joyce和Lewis Steele确认,利物浦接近以总价1.2亿镑1.4亿欧)签下巴尔科拉。Paul Joyce:利物浦接近从巴黎圣日耳曼签下巴尔科拉 ...
【新闻中心】
阅读更多