【数学的“证明”贬值：当AI开始批量制造“数学废料”】谷歌和OpenAI正加速渗透数学领域，利用AI极强的模式匹配能力挖掘人类数百万篇文献中隐藏的关联（Overhang）。目前AI已能生成长达20万行、机器可验证但人类完全无法读懂的证明，这种现象被称为Mathslop。过去数学界以“证明定理”作为衡量学术地位的唯一硬通货，但当AI能绕过人类直觉直接“暴力破解”结论时，这种延续千年的“定理经济”体系正面临底层逻辑的崩塌。数学的真正产物不是定理本身，而是它对人类大脑进行“神经塑形”后产生的理解力。过去我们推崇证明，是因为这个过程逼迫人类构建深刻的概念框架；现在AI直接给出了正确答案，却丢掉了所有启发性的思考。这就像用搅拌机代替咀嚼，虽然得到了结果，却失去了消化的乐趣和进化的可能。未来的核心竞争力将从“解题”转向“定义概念”，如果人类不能把AI生成的逻辑碎片重新转化为可传播的智慧，数学将沦为一片正确却荒凉的放射性废土。 davidbessis.substack.com/p/the-fall-of-the-theorem-economy