菲尔兹奖没提，12页验证报告如何帮王虹拿到数学界最高奖？

王虹获菲尔兹奖，几个月前那份12页验证报告确实送了关键一程——但它不是评审的“通行证”，而是让一份127页的天书在有限时间里被读懂、被信任的桥。

这不是国内的自我加冕：报告由田刚院士倡议组织、苗长兴牵头，庞逸轩与韦东奕为核心成员，结论是“逻辑严密、结论可靠”。发布后，报告被直接转交国际数学联盟主席和相关顶尖数学杂志。真正让它成为背书的，是它卡在了菲尔兹奖评审最需要佐证的那个时间点上。

127页证明，评审委员会没有时间读第二遍

菲尔兹奖的评审流程决定了第三方验证的价值。2024年7月，国际数学联盟启动提名征集，常规提名当年12月31日截止，之后收到的提名仅由委员会酌情考虑；评审覆盖2025年1月至2026年2月，委员会可自主考虑未被正式提名的数学家。

国际数学联盟发布菲尔兹奖提名征集通知

也就是说，当王虹2025年2月将最终证明篇上传至预印本平台时，提名窗口已经关闭。委员会要在一年内对全球被提名人做多轮筛选，最终在2026年2月达成共识。

问题在于成果本身的分量。王虹与扎尔合作的最终篇总计127页，配套前两篇分别发表于《Inventiones mathematicae》和《JAMS》。这个体量意味着，即使委员会成员是领域专家，要独立完成全文推导也几乎不可能。

顶尖数学界有个不成文规则：重大证明要获得信任，最有效的路径是先被“自己人”读懂、确认，再向更大范围扩散。

北大在这时补上了这个环节。过程中最关键的细节发生在2025年6月：王虹在北大连续3天开设精品课程，独家拆解整套证明体系，田刚全程在场，韦东奕连续3日坐第一排，每场课后与王虹深入交流核验细节。这不是学术社交，是验证工作的前奏。

北大数学课堂内师生共同研讨证明细节

课程结束后，田刚发起“调和分析高级研讨班”，系统研读挂谷猜想相关文献，专项团队随即对127页证明开展全文通读、逐节推导。

11月25日，北京国际数学研究中心正式公布核验结论，确认王虹与合作者扎尔证明的完整性与正确性，同时指出该成果“对解决不同数学领域的公开问题具有深远影响”。12页，对一个127页的证明做出判断，这背后是数月的工作量。

评审最忌“孤证”，这份报告让证明有了可引用的独立确认

菲尔兹奖没有公开的“材料清单”，但评审的实际操作决定了报告价值的另一种体现。委员会要判断的不仅是证明对不对，还有“同行的信任程度”——而这个信任度，在2025年秋季时还很薄弱。

王虹与扎尔的最终篇直到2026年仍未获国际期刊正式接受，领域内公认正确但尚未走完同行评议流程。一个未正式发表的核心证明，要被授予数学界最高奖，评审委员会需要某种形式的独立确认。北大的验证报告恰好提供了这个确认——而且送到了对的人手上。

北京国际数学研究中心发布的报告转交给了国际数学联盟主席和相关顶尖数学杂志，这让它可以被纳入委员会的参考视野，也给了期刊审稿人一个可追溯的评判依据。

报告的另一重价值是背书方的公信力。田刚身为中科院院士，其参与的验证工作在国际上可信度高；苗长兴是调和分析领域公认的专家；韦东奕虽在公众视野里是“网红数学天才”，在学术语境中却是北大副教授、偏微分方程领域新晋的国家自然科学奖初评完成人。

北大青年数学学者韦东奕的正装肖像

这份报告的学术含金量来自成员而非机构名头。

一个关键点值得注意：在官方层面，报告并非评审的“必需品”。2026年7月国际数学联盟发布的颁奖词，写明获奖理由是“在调和分析与几何测度论方面的工作”，点名三维Kakeya问题，未提及任何验证报告的表述。

获奖成果正式介绍中同样只提王虹“通过多尺度方法以及深刻的几何和组合洞察”取得突破，仅提到2026年与合作者给出更短更清晰的证明使成果更容易被检验。菲尔兹奖的官方叙事，把王虹的成就锚定在证明本身，而非任何第三方确认——这符合该奖一贯的授奖逻辑。

菲尔兹奖官方评奖规则说明页面截图

报告的价值不在颁奖词里，在它支撑起了整条信任链

但官方不提及，不等于没有起作用。报告真正的影响，体现在后续一系列成果的交叉验证中。

2026年9月8日，中科院数学与系统科学研究院宣布完成三维挂谷猜想的全链条机器形式化验证：该形式化项目包含约41.7万行Lean代码、907个源文件和7575条定理及引理声明，最终以一行定理代码宣告挂谷集合豪斯多夫维数等于3在机器层面通过核验。

该形式化项目以古斯、王虹和扎尔2026年给出的简化证明为主要参考，完成了从三维粘性挂谷到一般挂谷的机器形式化推导。

这几个月的时间差，恰好说明北数报告的“及时性”有多关键——它出现在最需要信任支撑的窗口期，而机器验证出现在获奖之后。

没有前者，2026年2月评审委员会做最终决定时，摆在他们面前的是一个未经同行评议、也未获机器验证的127页证明；有了前者，委员会的判断就有了一个可引用的独立确认。

换个角度看：如果把王虹获奖比作一项通过了重重审核的工程，北大那份12页报告就是工程验收报告里最扎实的第三方质检单。质检单不会出现在最终的获奖感言里，但审核会上它被翻阅过、被依凭过。

这正是顶尖学术评审的常态——奖章上不刻验证者的名字，但奖章颁发的过程里，验证者的判断已经嵌了进去。

菲尔兹奖的颁奖词不提北大验证报告，这是奖项叙事的既定逻辑；但报告的12页篇幅、转交国际数学联盟主席的动作，共同构成了它在获奖链条中的实际角色。它是奖项前夜一次关键助攻，不是颁奖台上的主角。

王虹懂数学，所以她知道如何让一个127页的证明被这个世界相信——先让一群真正读懂的人确认，再把确认书递到该递的人手上。