David Bessis在自己的Substack上发了一篇文章，标题直接叫《定理经济的衰落》。读完全文你会发现一个尴尬的事实：文章在最关键的地方戛然而止——他刚说完"过去几个月，AI与数学的局势剧变让我比预想中更困扰"，紧接着这句话该展开的论证就没了。读者拿到的是一篇写得极其坦诚的自传体前半篇，和一个悬在半空的标题。
但这半篇文章已经足够说清楚一件事：数学界评价成果的方式，从来不是看谁想得最深，而是看谁的名字签在了哪个定理下面。Bessis自己就是这套规则的受益者，也是最早看穿它的人之一。
他放弃了自己最好的想法
Bessis讲了两段亲身经历。第一段是他在洛桑一次学术会议上准备的"胞腔分解定理"——证明太顺手，他甚至懒得正式写成定理，只在最后一页幻灯片底部留了一句非正式的备注，指望有年轻数学家捡去补全。结果他自己承认，这个念头很蠢：一旦他把成果据为己有，别人反而没有动机去把它写完。
第二段更值得琢磨。他在Garside范畴的预印本里提出了Theorem 0.5，证明过程简单到"几页群论就够了"，真正难的从来不是证明，而是想清楚该往哪个方向去证。可这篇预印本他最终没投给任何期刊。真正有价值的不是那个定理本身，而是他为此发明的一套概念语言——Definitions 2.4 和 9.3。
讽刺的是，他后来靠什么拿到了学术声望？不是这套语言，而是借用Definitions 9.3当"魔法配料"，解决了一个更经典、更容易被承认的难题——K(π,1)猜想。Bessis自己的说法很直白：解出猜想的那个David，是构建了那套语言的David的"社会寄生虫"。
"定理经济"这词不是他发明的
Bessis这篇文章的标题和情绪，其实接的是Thurston三十多年前的一篇老文章的余脉。Thurston在1994年发表于AMS Bulletin的那篇经典论文里，早就点破过同一件事：学术数学把"证明定理、抢占优先权"当成硬通货，而真正推动理解的阐释、综合、概念澄清，系统性地不被计分。
数学的产品是清晰与理解，不是定理本身。
这句话被Bessis当作全文的题眼引用。放在今天看格外刺眼：如果AI真能低成本、大批量地产出"定理"这种曾经稀缺的学术货币，那这套靠定理数量论资排辈的体系，靠什么继续运转？
- 结论.Thurston三十年前就说清楚了症结，AI只是把账单催得更急，不是提出了新问题。
AI闯进来，改变的是什么
这场辩论其实一直在数学圈里发酵。Lean这类证明助手，加上AlphaProof这类系统在竞赛级数学推理上的进展，让"AI能不能证明定理"从假设题变成了正在发生的事。陶哲轩在这场讨论里更像调解人——他承认证明助手对严谨性有真实价值，同时反复强调数学创造力远不止逐行推导，还包括直觉、类比、问题选择和概念形成。
真正的分歧从来不是"AI能不能证明引理"，而是数学的本质到底是形式演绎还是概念创造。这条分歧线三十年前Thurston划过一次，今天因为AI的介入被重新描出来，只是这次赌注更大：如果"定理"作为学术信用的最小计价单位真的贬值，评职称、发论文、抢优先权这套系统，到底还剩下什么可以量化的东西？
谁会先感到这阵痛
受冲击最直接的是终身教职评审这套机制——它长期依赖"谁先证出来"这种可量化、可归档的指标，一旦定理不再稀缺，评审标准就得重新找锚点。Lean、Mathlib这类形式化社区反而可能是意外受益者：它们过去因为"写形式化证明不算学术贡献"而长期被边缘化，如果AI真的推高了形式化工作的含金量，这批人手里的基础设施会突然变得抢手。
最尴尬的可能是青年研究者。过去的路径是挑一个能在几年内做完、能安全发表的问题；如果AI能替你补完技术细节，真正稀缺的东西会变成Bessis口中那种"意识到应该有Theorem 0.5存在"的直觉——这恰恰是最难教、最难速成的部分。
- 风险.Bessis文章真正的AI论证还没公开，眼下所有"AI终结定理经济"的解读，都只是基于标题和最后一句话的合理推测，尚未被原文证实。
Bessis自己给出的答案，读者目前只能拿到一半。剩下一半——AI具体怎么让"定理"这种信用货币贬值，学界会不会真的调整评价标准——还得等他把话说完，或者等Lean、AlphaProof的下一次实质突破来替他把答案交出来。