第152章 帐是平的（1 / 2）
事实上，数学学科学中心报告厅的散场人流里，三三两两的学者、博士生、青年教师即便出来后，话题仍然不离第47號节点的全局帐目矩阵，以及那三道劈开权限的竖线。
“以前总觉得pfr的多项式界是远在山顶的东西，今天才看见，原来山腰的路已经铺到了这个程度。”
“voss的边界测试当场接住，韩老师那记三重压测也接住了，这不是局部技巧，是整套框架都立住了。”
“回去就得改组会计划，下半年的选题至少要砍掉三个，全往这个方向靠。”
求真书院的几个博士生散在饮水机旁，嗓音压得很低，眼里的光却压不住。
梁辰站在他们中间，手机还烫著，直播间早就在散场前被他掐了。
后面半小时的质询密度太高，他连举著手机的余力都没有。
屏幕上还停留在最后那行弹幕：“歷史会记住今天下午。”
他忽然想起导师中午说的话：“不用全听懂，去看看大证明长什么样。”
现在他懂了。
大证明从来不是某一行惊艷的公式，不是某一个神来之笔的技巧。
它是三块写满的白板，是一层层被摊开的承重梁，是每一笔损失都有去处、每一次支付都有记录的帐目表，是被最苛刻的审查者轮番敲打后，依然纹丝不动的骨架。
人群的另一侧，韦东奕已经走到了楼梯口。
他手里的草稿纸上写满了极小的符號，是他顺著江临的帐目矩阵推了半节课的验证路径。
同行的老师问他觉得怎么样，他脚步没停，只淡淡地说了句：“结构很清楚，帐是平的。”
这在北大数院的语境里，已经是极高的评价。
更外围的討论已经扩散到了全网。
知乎那个问题的关注量在两小时內衝破十万，回答刷出了两百多条。
最先放出系统整理笔记的是一位清华数院的博士生，手写扫描件整整十七页，字跡潦草却脉络清晰。
它没有涉及未公开附录和退化全表，只把公开报告中那条主闭合链路，从第一行salldoublg的直觉，一路整理到最后三道竖线的权限切割。
评论区里，从最初的看不懂但大受震撼，慢慢沉淀出了业內人士的判断。
有一条高赞回答没有急著下结论，而是先解释了一件事。
大眾谈起数学难题，最熟悉的是黎曼猜想、哥德巴赫猜想这类名字足够响亮的问题。pfr猜想没有那么出圈，却是加性组合学內部一面真正的承重墙。
它追问的是一个极朴素，也极反直觉的问题。
一个集合如果和自己相加之后没有迅速膨胀，说明什么
普通直觉会觉得，相加应该製造混乱，体积应该变大，结构应该被打散。可在某些特殊集合里，相加之后的新东西只比原来多了一点点。这种不乱，意味著背后必然藏著某种代数骨架。
这不是一道单纯追求技巧漂亮的问题。
它关乎的是，现代加性组合学能否把局部低膨胀真正压缩成全局可控制结构。
如果这面墙被推开，后面很多原本只能绕路走的问题，都会获得新的入口。
“可以確定，有限域f2上的pfr多项式界，现在已经不是可能成立，是核心框架已闭合，等待全社区形式化核验的状態。”
“上一次看到这种级別的工作落地，还是张益唐的孪生素数。区別是，那时候他是半路杀出的陌生人，这一次，是个十八岁的本科生。”
隨后有更专业的回答补了一刀。
过去很多路线，都是试图用几何覆盖去抓弱倍增集合背后的代数骨架。
像拿一个个规则盒子，去套住那团看似散乱的数字积木。
问题在於，盒子的数量总会在推导中失控。
从多项式，滑向指数。
从可计算，滑向不可承受。
而江临今天展示出来的路线，真正刺眼的地方，不是他把盒子摆得更巧，而是他乾脆换掉了尺子。
他不再只问这团集合有多大。
他开始问它有多乱。
集合被打碎成隨机变量，几何体积被替换成信息熵，鲁沙距离不再只是集合加法后的膨胀尺度，而变成一种混乱度的支付帐本。
如果弱倍增意味著系统没有剧烈变乱，那么在熵语言里，就必然存在一条可以被追踪、被摊还、被压缩的损失路径。
这也是为什么报告厅里真正懂行的人，並没有在听到某个漂亮技巧时鼓掌。
他们盯著的是帐。
每一份熵跌落从哪里来。
每一次残余谱对冲有没有重复支付。
每一道权限切割是否真的阻止了局部胜利污染全局装配。
这不是看起来很聪明的证明。
这是一份已经被做成工程帐本的大证明。
海外的数学社区也同步炸开了锅。
有人很快提到，高尔斯、陶哲轩、本格林、anners这些名字，过去几年都绕不开这面墙。
有限域pfr不是一个凭热情能衝过去的问题。
它原本就需要一支世界级队伍，用几年时间一点点压低损失，拆掉指数级爆炸留下的旧债。
而现在，一份来自江临的v1.0手稿，已经把这些名字全部拉进了同一条审查链。
这比任何媒体標题都更重。
因为真正懂行的人都明白，能让这些人认真坐下来拆的东西，本身就已经不再是噱头。
陶哲轩在自己的博客上更新了一篇极短的短文，標题只有一行：《onaneroachtofite-fieldpfr》。
正文不到三百词，没有结论性的定论，只说自己正在审查一份新的手稿，其核心的熵对合与损失帐目框架极具启发性，完整形式化验证完成后会再做评述。
即便克制到这种程度，也足够让整个加性组合领域沸腾。
无数人顺著线索摸到了voss更新的v2版note，看到那句它只是在等待一个需要它的定理，所有的拼图在这一刻对上了。
不是年轻人的噱头，不是媒体的炒作。
是一场真实存在的正在发生的数学进展。
而这场风暴的中心，江临已经坐上了前往亦庄的网约车，低头翻著手机里未读的邮件。
第一封来自陶哲轩：建议在v1.1的形式化蓝图里，把三列权限切割单独抽成一个通用引理，未来推广到一般阿贝尔群时可以復用。
第二封来自周志华：主要是问九月中旬方不方便预留一次线下交流的时间，地点可以放在南京大学人工智慧学院，也可以等他行程確定后再说。
第三封是梁知夏发来的长消息。
1、下午闭门会的消息已经传到產业圈，至少八家投资机构重新发来了对接意向，估值口径比上周又上浮了20%。
2、三家行业头部媒体申请明天展会现场专访，都要求聊数学创始人做工业机器人的话题。
3、恆泰的许明川总发来贺电，说没想到低熵工坊的根扎得这么深，后续合作可以再往上谈一级。
江临逐条回復。
给陶哲轩的回信很短：同意，下周会抽出节点38.5的独立引理分支。
给周志华的回覆更简洁：期待九月交流。
给梁知夏的只有三句话。
暂不估值。