数学家回击「数学终结论」：从超人类证明到无人类数学隔着三级跳

Ognifedefingo · x · 2026-08-23

围绕 Daniel Litt 的「数学的终结」引发的争论，数学家 @Ognifedefingo 提出了一个层层递进的反驳框架：数据只能支持「AI 将在某类证明上超人类」；但从这到「证明泛滥」（proof abundance）之间有巨大鸿沟，从证明泛滥到「AI 在数学上全面超人类」鸿沟更大，再到「没有人类的数学」更是一次巨大跳跃——许多知名人物正在从数据过度外推。

同一线程中，Litt 辩护说原帖本意并非「数学界该关门」，并反问有谁真的这么主张；Jacob 的立场（如 Litt 所解读）只是模型将很快能廉价完成他个人喜欢的那些数学工作，这与「数学界该关门大吉」是完全不同的主张。这位数学家还强调，年轻数学家因未来不确定而沮丧可以理解，但学界对社会的贡献不只是新结果，而是以严谨、好奇、反修辞、慢节奏的方式存在于社会之中。