AGI Hunt· littmath·· 3 小时前AI 评分46
从 Grothendieck 与 Deligne 的公案,谈数学进步观与当下的 AI 时刻
AI 导读
作者借 1974 年 Deligne 证明韦伊猜想最后一条、导师 Grothendieck 不满的公案,讨论两种数学进步观。Grothendieck 主张 rising sea,斥 Deligne 绕开其纲领的证明为 trick;作者认为其批评有道理,但他错在以为母题理论会被抛弃,Deligne 的 Weil II 反而更彻底革新了算术几何。作者由此影射当下 AI:没有领路人能垄断「真正的理解」。
来源:AGI Hunt · agihunt.info