推文

@huxlab · 2026-10-15 10:57

数学界的防线，正在以比所有人预想快十倍的速度被击穿。 庞加莱奖得主西尔维娅·塞尔法蒂站在亨利·庞加莱研究所的讲台上，撕开了数学圈过去两年的遮羞布： 2023年，数学家们还在嘲笑大模型连基础算术都会算错； 随后，AI 拿下了国际数学奥赛金牌，学者们退守一步说： “做奥数题只是做题家技巧，AI 根本不可能搞科研级别的猜想证明。” 直到最近，OpenAI 等顶级实验室直接甩出几百个以前悬而未决的顶尖数学成果，许多直接触及菲尔兹奖量级 。 潮水已经漫过脖子，整个纯数圈陷入了集体失语与眩晕。 塞尔法蒂没有陷入单纯的技术恐慌，而是翻出了格罗滕迪克的《收获与播种》，点出了这场剧变最本质的冲突： 1. “阳”的解题性能，已被机器垄断 数学里有两种力量：一种是“做题家（Problem Solvers）”式的阳性力量，讲究高强度技巧、算力与硬解难题； 另一种是“理论奠基者（Theory Builders）”式的阴性力量，讲究构筑全新框架、定义新概念与感知美。 以 OpenAI 为代表的工业化 AI，已经把“解题”这股阳性力量推到了人类肉身无法匹敌的高度。 2. 手工业与工业流水线的脱节 人类数学是一门“手艺”：一个学者需要带着一个问题生活好几年，经历漫长的生物性沉淀和无数次直觉迷航 。 可当机器一夜之间量产几千页无懈可击、人类大脑却难以直接消化的证明时，人类的探索欲会被迅速稀释。 正如格罗滕迪克所言：“如果一个问题的答案已经白纸黑字印在图书馆的书里，我就会对它彻底失去兴趣。” 机器负责暴力解题，人类的终极壁垒只剩下两件事： 对审美直觉的坚守，以及决定“什么问题不值得被解决”的选题品味。 https://x.com/Fabien_Mikol/status/2110316777850671405/video/1

曝光 176 · 评论 0 · 点赞 0 · 书签 0 · 曝光/时 115.60220062519419