菲尔兹奖得主陶哲轩最新发表了一篇万字长文，提出了一个极具颠覆性的概念：无私数学（Egoless Mathematics）。 过去几百年里，纯数学研究一直建立… · @fishjar · TwKit

@fishjar

菲尔兹奖得主陶哲轩最新发表了一篇万字长文，提出了一个极具颠覆性的概念：无私数学（Egoless Mathematics）。 过去几百年里，纯数学研究一直建立在极度个性化的“天才个人英雄主义”之上：几位数学大师用独创的符号体系和晦涩的自然语言，写出只有全球五个人能看懂的证明草稿，同行评审动辄需要耗费数年。 而随着 Lean 等交互式定理证明器与大语言模型的深度结合，数学正在被彻底重塑为一套全球协作的开源软件工程。 命题被拆解为一行行可被编译器自动验证的代码片段，证明的有效性不再依赖某位大师的学术声望，而是由计算机的严格类型系统直接给出裁决。学术光环被代码规范解构，数学正在进入一个没有个人崇拜的严谨工业化时代。 来源链接：https://terrytao.wordpress.com/2026/11/02/egoless-mathematics-in-the-ai-era/

曝光 38 · 评论 1 · 点赞 0 · 书签 0