第102章 世界开始承认它(2 / 11)
他自己写的那套rust系统,在柏林实验室那台四路amd的计算节点上,刚刚跑完了局部情形表的全量枚举。
终端最后一行,跳出了一个数字。
最终倖存的不可约状態总数。
克劳斯颤抖著手,打开另一个窗口。
那是他从江临论文附录的数据表里,原样誊抄下来的,江临声称的理论状態总数。
两个数字,一个来自中国,一个来自柏林实验室那台刚刚轰鸣了三天的伺服器。
它们,一位不差。
不只是总数。
克劳斯让两套系统分別输出每一个等价类的多项式哈希指纹,做了一次逐行diff。
零差异。
四千多个状態,没有一个对不上。
克劳斯没有欢呼。
他已经筋疲力竭,没有力气欢呼了。
把椅子往后一靠,仰头看著实验室天花板上惨白的灯管,喉咙里发出一声又干又哑的气音。
然后想起了自己最初看到那个署名时,轻蔑失笑的样子。
jiangcheng no.7 high school。
一所中国的高中。
“gott.”
克劳斯低声骂了一句,接著在群里发了那张diff结果的截图。
下面只附了一句话,全大写。
independent reimplementation in rust. zero shared code. all state hashes match.
it holds.
……
几乎是在同一个时间窗口里。
加拿大,滑铁卢。
kaplan团队那边,也终於跑完了layer-7之后,后面的路虽然冗长,却再无险滩。
代换系统的自相似结构,像一台冷酷而精確的机器,把所有更高层级的边界,全部强迫进了那个唯一的非周期轨道里。
没有任何一个状態,能逃逸出江临用局部规则和层级替代结构焊死的那个笼子。
一封简短的邮件,从滑铁卢发往了那个隱秘的小圈子。
plete up to layer-12. no further obstructions found. the substitution structure is rigid all the way up. ↑返回顶部↑
终端最后一行,跳出了一个数字。
最终倖存的不可约状態总数。
克劳斯颤抖著手,打开另一个窗口。
那是他从江临论文附录的数据表里,原样誊抄下来的,江临声称的理论状態总数。
两个数字,一个来自中国,一个来自柏林实验室那台刚刚轰鸣了三天的伺服器。
它们,一位不差。
不只是总数。
克劳斯让两套系统分別输出每一个等价类的多项式哈希指纹,做了一次逐行diff。
零差异。
四千多个状態,没有一个对不上。
克劳斯没有欢呼。
他已经筋疲力竭,没有力气欢呼了。
把椅子往后一靠,仰头看著实验室天花板上惨白的灯管,喉咙里发出一声又干又哑的气音。
然后想起了自己最初看到那个署名时,轻蔑失笑的样子。
jiangcheng no.7 high school。
一所中国的高中。
“gott.”
克劳斯低声骂了一句,接著在群里发了那张diff结果的截图。
下面只附了一句话,全大写。
independent reimplementation in rust. zero shared code. all state hashes match.
it holds.
……
几乎是在同一个时间窗口里。
加拿大,滑铁卢。
kaplan团队那边,也终於跑完了layer-7之后,后面的路虽然冗长,却再无险滩。
代换系统的自相似结构,像一台冷酷而精確的机器,把所有更高层级的边界,全部强迫进了那个唯一的非周期轨道里。
没有任何一个状態,能逃逸出江临用局部规则和层级替代结构焊死的那个笼子。
一封简短的邮件,从滑铁卢发往了那个隱秘的小圈子。
plete up to layer-12. no further obstructions found. the substitution structure is rigid all the way up. ↑返回顶部↑