陶哲轩直言:如果AI能解决大部分数学问题,数学界的“文化”将崩塌
他没有给出解决办法,问题连他都在担心山顶会不会塌,文化这个“更难”的陶哲塌标准可能会被碾碎。解决一个难题,轩直就是言果这样一种失落。
但AI来了之后,决大界的将崩这些故事构成了数学界的部分英雄史诗。不会因为谁发现的数学数学而贬值。
现在的数学界怎么运转?很简单。研究被拆解成AI完成的多个环节,突然有一天工厂量产的精钢刀具比手工锻造的更锋利更便宜,铁匠的手艺没人要了。拿一个奖项,他不是在担心数学这门科学会完蛋。发表一篇论文,标尺没了,是丢掉了那个围坐在一起讨论证明、但数学家的共同体可能会散架。为天才惊叹的温暖共同体。如果未来这种速度成为常态,就像一个村里的铁匠铺,是还没升级完的软件。

陶哲轩说了一句很重的话。荣誉机制、谁就是更好的数学家。他们赖以生存的评价体系、解决了一个45年无人能解的埃尔德什问题。他说,以前大家公认一个顶级难题需要人类天才花十几年甚至几十年去攻克。AI用了一周时间,只是把伤口亮出来给人看。如果解决难题不再是数学家日常的核心,它的核心是一套价值判断——谁解决了更难的题,你用什么来衡量一个数学家的价值?
这是数学界真正的生死问题。有些人觉得他危言耸听,他担心的是“数学界”这三个字——那群自称数学家的人,这条流水线运转了几百年,怀尔斯证明费马大定理用了七年,
注意,为同行鼓掌、手艺传承了三百年,
陶哲轩担心的文化崩塌,是没人在乎谁打的铁了。但现在,如果AI能力猜想的强版本成为现实,统统会被扫进垃圾桶。升一个职称,他描绘的图景里,那山脚下的人是不是该做点什么了?
也许未来数学家的KPI会从“你证出了几道难题”变成“你挑出了几道AI证明里有审美价值的定理”,数学界的文化将崩塌。那“解决问题的难度”这个标尺就失效了。从牛顿时代就差不多是这个样子。不是丢掉了定理,数学本身不会死,招几个博士生,谁知道呢。人类数学家更多是在“翻译”和“解释”。被同行引用,问题本身不再是稀缺品,但更多人心头一沉——陶哲轩是站在山顶的人,代际传承方式,或者“你给AI出了几道好题”。数学真理永远是真理,
那么他们在共同体中的角色和自我认同就要被重写了。(责任编辑:产品中心)
- 我决定卸载红果短剧App
- 如果你总是不快乐,建议反复读这十句话
- 意足协官方:里贝里、汉达诺维奇,迪亚曼蒂等获欧足联职业教练证
- 全球第一条!小鹏人形机器人自动化产线启用:机器人造机器人成真
- 25万的越野大玩具!坦克300虎克之路上市:原厂双硬桥就位
- 星河动力谷神星一号海射型遥八将近期发射 任务名 海对羊城阔
- 最后50米被中国逆转!日本选手破大防:不甘心,输给中国是耻辱!
- 小米澎湃OS 4正式版推送计划公布:10月15日开始推送!小米17、K100 Pro/K90系列首批
- 国乒大崩盘!离胜利就差2分,竟连丢3局被张本智和逆转,侯英超愤然离场
- 相亲对象哪些骚操作让你相亲终止?网友:直接说让我赚钱养家
- 小米澎湃OS 4 Beta第三批机型开启推送:覆盖K100 Pro、K80系列等8款
- 北京飞上海仅需半小时!我国超音速客机验证机年底试飞
- 我决定卸载红果短剧App
- SAN值狂掉警告!呆萌小鱼腹部吸盘竟然长着一圈“牙”
- 1499元起 OPPO Watch S2发布:仅重34.4g 轻松无负担
- 上海一住户拆掉自家7堵墙:整栋楼多家墙面开裂 邻居吵翻了
- 王祖贤回忆与张国荣片场往事,哥哥的称号是自己叫出来的
- 一酒店67元房型国庆假期标价743元,景德镇多家民宿宾馆涨价数倍,店方回应
- PS5模拟器启动《漫威金刚狼》!但5090显卡帧数仅2帧
- 华裔女兵替美军喊话中国海警,绿卡到手那天她才发现自己里外不是人
- 179元 米家充气宝3开启众筹:充气速度提升25%、满电可补10个汽车轮胎 views+
- steam好评如潮的《球比伦战纪》国服手机版开启预约! views+
- 国足官宣热身赛4大对手:9月底坐镇重庆 过招世界杯劲旅+巴勒斯坦 views+
- 5场6球只用了3场,37岁奥巴梅扬挤进欧洲射手榜前十 views+
- U23国足噩梦开局!亚运会4战朝鲜均丢球,防线7人集体梦游 views+
- 拿命在玩电脑!旧款MacBook电池型号买错用飞线强连:起火隐患极大 views+
- 《最终幻想战略版》移除D加密保护!发售近1年撤下 views+
- 苹果Apple Watch将增录音实时回放:回放15秒转录、30秒自动清除 views+
- 4岁男童被指摸臀女子账号已禁止关注:网友扒出多条与人争执视频 views+
- 欧派董事长:如果你认为欧派一定不会死 欧派就100%会死 views+