字体
大
中
小
关灯
上一页 回目录    收藏 下一页

第151章 账是平的(2/5)

过去很多路线,都是试图用几何覆盖去抓弱倍增集合背后的代数骨架。

像拿一个个规则盒子,去套住那团看似散乱的数字积木。

问题在于,盒子的数量总会在推导中失控。

从多项式,滑向指数。

从可计算,滑向不可承受。

而江临今天展示出来的路线,真正刺眼的地方,不是他把盒子摆得更巧,而是他干脆换掉了尺子。

他不再只问这团集合有多大。

他开始问它有多乱。

集合被打碎成随机变量,几何体积被替换成信息熵,鲁沙距离不再只是集合加法后的膨胀尺度,而变成一种混乱度的支付账本。

如果弱倍增意味着系统没有剧烈变乱,那么在熵语言里,就必然存在一条可以被追踪、被摊还、被压缩的损失路径。

这也是为什么报告厅里真正懂行的人,并没有在听到某个漂亮技巧时鼓掌。

他们盯着的是账。

每一份熵跌落从哪里来。

每一次残余谱对冲有没有重复支付。

每一道权限切割是否真的阻止了局部胜利污染全局装配。

这不是看起来很聪明的证明。

这是一份已经被做成工程账本的大证明。

海外的数学社区也同步炸开了锅。

有人很快提到,高尔斯、陶哲轩、本·格林、manners这些名字,过去几年都绕不开这面墙。

有限域pFR不是一个凭热情能冲过去的问题。

它原本就需要一支世界级队伍,用几年时间一点点压低损失,拆掉指数级爆炸留下的旧债。

而现在,一份来自江临的v1.

0手稿,已经把这些名字全部拉进了同一条审查链。

这比任何媒体标题都更重。

因为真正懂行的人都明白,能让这些人认真坐下来拆的东西,本身就已经不再是噱头。

陶哲轩在自己的博客上更新了一篇极短的短文,标题只有一行:《on a new approach to finite-field pFR》。

正文不到三百词,没有结论性的定论,只说自己正在审查一份新的手稿,其核心的熵对合与损失账目框架极具启发性,完整形式化验证完成后会再做评述。

即便克制到这种程度,也足够让整个加性组合领域沸腾。

无数人顺着线索摸到了Voss更新的v2版note,看到那句它只是在等待一个需要它的定理,所有的拼图在这一刻对上了。

不是年轻人的噱头,不是媒体的炒作。

是一场真实存在的正在发生的数学进展。

而这场风暴的中心,江临已经坐上了前往亦庄的网约车,低头翻着手机里未读的邮件。

第一封来自陶哲轩:建议在v1.

1的形式化蓝图里,把三列权限切割单独抽成一个通用引理,未来推广到一般阿贝尔群时可以复用。

第二封来自周志华:主要是问九月中旬方不方便预留一次线下交流的时间,地点可以放在南京大学人工智能学院,也可以等他行程确定后再说。

第三封是梁知夏发来的长消息。
本章未完,请翻下一页继续阅读.........
上一页 回目录    收藏 下一页