当望月的论文在2012年发布后，数学界陷入了一种奇怪的沉默。不是因为无人关注——恰恰相反，几乎所有顶尖数论家都在第一时间下载了论文。沉默的原因是：没有人能够读懂。

    这种阅读困难不是普通的艰深。在数学中，一篇前沿论文难以理解是常态。但通常，一个领域的专家经过几周的专注阅读，至少能够把握论文的主要思路和核心创新。望月的论文不同。即使是远阿贝尔几何领域的顶级专家，翻开论文后，也发现自己连第一页的定义都无法完全消化。符号系统是新发明的，逻辑结构是前所未有的，直觉背景是完全缺失的。

    彼得·舒尔策，这位后来获得菲尔兹奖的德国数学家，是望月之后代数几何领域的领军人物。他在2018年——也就是望月发表论文六年后——与数学家雅各布·斯蒂克斯合作，发表了一篇长文，指出IUT证明中的一个关键步骤存在“严重的逻辑缺口”。他们的批评不是针对IUT的整体哲学，而是针对一个具体的技术引理。舒尔策和斯蒂克斯认为，在这个引理中，望月混淆了两个不同数学对象之间的对应关系，而这个混淆如果成立，将破坏整个证明的逻辑链条。

    望月对批评做出了回应，但他没有以传统的方式修改论文或承认错误。他坚持认为，舒尔策和斯蒂克斯的批评源于对IUT基本框架的误解。他辩称，他们试图用传统数学的直觉来理解IUT，而IUT恰恰要求一种全新的思维方式。在他看来，那个被批评的引理，在IUT的宇宙际视角下是完全合法的，只是在传统视角下看起来有问题。

    这场争论演变成了一场学术僵局。支持望月的一方认为，IUT太过新颖，数学界需要更多时间来消化；批评的一方则认为，如果六年时间都不够顶尖专家理解一个证明，那么这个证明本身可能存在根本性的问题。更微妙的是学术政治的介入：望月在日本有强大的支持网络，但在欧美学术界，怀疑的声音越来越响。

    2018年，一个转折点出现了。望月组织了在京都的IUT国际研讨会，邀请世界各地的数学家参加。会议的目的是解释IUT的核心思想，并回应批评。但会议的结果并没有消除分歧。与会者报告说，望月和他的合作者——特别是岩泽健吉和Fesenko——的解释虽然有所帮助，但核心的理解障碍依然存在。

    争议的焦点，最终集中在IUT的“社会验证”问题上。在数学中，一个证明的正确性，最终不是由作者本人确认的，而是由整个学术社区的共识确认的。这种共识基于同行评议、公开讨论、独立验证。望月的证明，由于语言障碍和沟通风格的差异，迟迟未能获得这种共识。它像一座建在云端的城市，只有建造者自己能够居住，访客们站在云端之下，只能看到模糊的轮廓。

    从活性算法的视角看，这场争议揭示了知识生产中的一个核心困境：创新需要打破现有的认知框架，但验证必须依赖现有的认知框架。当一个新理论过于激进时，它可能无法被现有的“推断机”所同化。活性系统在面对完全陌生的输入时，会经历强烈的“惊讶”——自由能的激增。这种惊讶可能导致两种反应：要么系统修正自己的模型以适应新输入，要么系统拒绝新输入以维持现有模型的稳定。数学界对IUT的反应，正是这种认知动力学的放大版。

支持单位：