绝对正确的智力墓碑：机器证明如何重构数学的信任制度

2026年9月4日，Anthropic 报告模型基本自主完成了费马大定理的首个端到端、经计算机完整检查的形式化证明：约11天、1300万行代码、60亿输出token。

本期是一篇手工组稿的思想长文——把视距拉回1993年怀尔斯在剑桥结束讲座、同行随后在其129页手稿中找出致命缺口的那一年，追问当证实一个结论不再以“有人能一眼通读”为前提时，共同体该靠什么制度去接收一段无人能解的机器论证：不可读的真理，究竟是基础科学的进步，还是只是一场昂贵的算力炫耀。

机器暴力形式化的核心增量，不在于替人类写出一段答案，而在于把带隐性假设的人类共识浇筑成无歧义的代码屏障、建立确凿的依赖接口；但它同时剥离了知识的理解与核查机制，并把荣誉分配从个体智力的稀缺性上拆解下来。

信任的标尺必须锚定在黑箱之外——在算法吞噬智力中介之前，人类需要重建一套不依赖个体全知全能的信任分发制度，否则这份绝对正确的数字证明终将沦为华丽却空洞的智力墓碑。