第151章 账是平的(2/5)
过去很多路线,都是试图用几何覆盖去抓弱倍增集合背后的代数骨架。
像拿一个个规则盒子,去套住那团看似散乱的数字积木。
问题在于,盒子的数量总会在推导中失控。
从多项式,滑向指数。
从可计算,滑向不可承受。
而江临今天展示出来的路线,真正刺眼的地方,不是他把盒子摆得更巧,而是他干脆换掉了尺子。
他不再只问这团集合有多大。
他开始问它有多乱。
集合被打碎成随机变量,几何体积被替换成信息熵,鲁沙距离不再只是集合加法后的膨胀尺度,而变成一种混乱度的支付账本。
如果弱倍增意味着系统没有剧烈变乱,那么在熵语言里,就必然存在一条可以被追踪、被摊还、被压缩的损失路径。
这也是为什么报告厅里真正懂行的人,并没有在听到某个漂亮技巧时鼓掌。
他们盯着的是账。
每一份熵跌落从哪里来。
每一次残余谱对冲有没有重复支付。
每一道权限切割是否真的阻止了局部胜利污染全局装配。
这不是看起来很聪明的证明。
这是一份已经被做成工程账本的大证明。
海外的数学社区也同步炸开了锅。
有人很快提到,高尔斯、陶哲轩、本·格林、manners这些名字,过去几年都绕不开这面墙。
有限域pFR不是一个凭热情能冲过去的问题。
它原本就需要一支世界级队伍,用几年时间一点点压低损失,拆掉指数级爆炸留下的旧债。
而现在,一份来自江临的v1.
0手稿,已经把这些名字全部拉进了同一条审查链。
这比任何媒体标题都更重。
因为真正懂行的人都明白,能让这些人认真坐下来拆的东西,本身就已经不再是噱头。
陶哲轩在自己的博客上更新了一篇极短的短文,标题只有一行:《on a new approach to finite-field pFR》。
正文不到三百词,没有结论性的定论,只说自己正在审查一份新的手稿,其核心的熵对合与损失账目框架极具启发性,完整形式化验证完成后会再做评述。
即便克制到这种程度,也足够让整个加性组合领域沸腾。
无数人顺着线索摸到了Voss更新的v2版note,看到那句它只是在等待一个需要它的定理,所有的拼图在这一刻对上了。
不是年轻人的噱头,不是媒体的炒作。
是一场真实存在的正在发生的数学进展。
而这场风暴的中心,江临已经坐上了前往亦庄的网约车,低头翻着手机里未读的邮件。
第一封来自陶哲轩:建议在v1.
1的形式化蓝图里,把三列权限切割单独抽成一个通用引理,未来推广到一般阿贝尔群时可以复用。
第二封来自周志华:主要是问九月中旬方不方便预留一次线下交流的时间,地点可以放在南京大学人工智能学院,也可以等他行程确定后再说。
第三封是梁知夏发来的长消息。
本章未完,请翻下一页继续阅读.........