数学的流水线,停在了第一站
10月5日,陶哲轩的博客上挂出一篇客座文章,《数学的未来》,作者是CMU的Jeremy Avigad——Lean形式化数学社区的核心人物。文章里有一句平静到近乎惊悚的判断:一年前还够得上”体面论文”水平的数学结果,如今借助AI已经可以轻松生成。数学家们引以为傲两千多年的那条流水线——提出问题、拆解近似、逐一攻克、发表晋升——第一站还在人类手里,后面的站点正在被机器逐个接管。而文章透露的数学界整体反应,居然是”积极”。被拆掉的是自己的流水线,全场鼓掌,这个画面本身就值得一篇博客。