德国时间凌晨两点。
柏林工业大学，计算几何与组合算法实验室。
克劳斯已经连续三十多个小时没有合眼了。
他面前的六块屏幕上，全是滚动的终端日志和密密麻麻的JSoN结构树。
三天前，当他第一次用江临提供的那个被称为S的核验包，在半径R=10的范围内跑出绿色的No pERIodIc pAtchES FoUNd时，他在那个只有七八个顶级算法研究者的私密小群里，说了一句话。
this is not nonsense.
但那天晚上，他的导师，实验室的负责人，做了三十年组合优化的老教授，把他叫进了办公室。
老教授只问了他一个问题。
“你跑的，是他写的代码？”
克劳斯点头。
老教授摇了摇头。
“那不叫复现。”
克劳斯一愣。
“克劳斯，你想过没有。如果他的证明里，藏着一个连他自己都没意识到的错误。而恰好，他写的核验代码里，也藏着一个能把这个错误正好遮住的bug。”
“那你跑他的代码，跑一万遍，跑到天荒地老，你看到的，永远是他那个漂亮的绿字。”
“你不是在验证真理。你是在重复他可能犯下的同一个错误。”
克劳斯瞬间明白了导师的意思，背后渗出一层冷汗。
要想真正独立地验证这块砖，唯一的办法，是把江临那个干净漂亮的S包扔到一边。
只拿着那篇论文里，用纯数学语言写下的图形定义、四类大块的替代规则、边界读法约定。
然后，从一行空白的代码开始，用一套完全不同的语言，一套完全不同的底层框架，把整个核验系统，重新造一遍。
如果两套从零开始，彼此之间没有任何一行共享代码的系统，最终吐出来的东西，分毫不差地撞在了一起。
那才叫复现。
那才叫真理。
于是，过去三天，克劳斯没碰江临的python。
他用Rust，从顶点坐标的代数整数编码开始，一砖一瓦地重写。
他自己实现状态生成，自己写哈希，自己做等价类合并。
甚至故意换了一套和论文完全不同的内部命名习惯，就是为了逼着自己，去真正理解每一步背后的数学，而不是无意识地抄。
报错，排查，重跑。
再报错，再重跑。
此刻，凌晨两点。
他自己写的那套Rust系统，在柏林实验室那台四路A的计算节点上，刚刚跑完了局部情形表的全量枚举。
终端最后一行，跳出了一个数字。
最终幸存的不可约状态总数。
克劳斯颤抖着手，打开另一个窗口。
那是他从江临论文附录的数据表里，原样誊抄下来的，江临声称的理论状态总数。
两个数字，一个来自中国，一个来自柏林实验室那台刚刚轰鸣了三天的服务器。
它们，一位不差。
不只是总数。
克劳斯让两套系统分别输出每一个等价类的多项式哈希指纹，做了一次逐行diff。
零差异。
四千多个状态，没有一个对不上。
克劳斯没有欢呼。
他已经筋疲力竭，没有力气欢呼了。
把椅子往后一靠，仰头看着实验室天花板上惨白的灯管，喉咙里发出一声又干又哑的气音。
然后想起了自己最初看到那个署名时，轻蔑失笑的样子。
Jiangcheng No.7 high School。
一所中国的高中。
“Gott.”
克劳斯低声骂了一句，接着在群里发了那张diff结果的截图。
下面只附了一句话，全大写。
INdEpENdENt REILENtAtIoN IN RUSt. ZERo ShAREd codE. ALL StAtE hAShES tch.
It hoLdS.
……
几乎是在同一个时间窗口里。
加拿大，滑铁卢。
Kaplan团队那边，也终于跑完了Layer-7之后，后面的路虽然冗长，却再无险滩。
代换系统的自相似结构，像一台冷酷而精确的机器，把所有更高层级的边界，全部强迫进了那个唯一的非周期轨道里。
没有任何一个状态，能逃逸出江临用局部规则和层级替代结构焊死的那个笼子。
一封简短的邮件，从滑铁卢发往了那个隐秘的小圈子。
Verification plete up to Layer-12. No further obstructions found. the substitution structure is rigid all the way up.
至此，分散在英国、加拿大、德国、法国、日本的，全世界几乎所有真正感兴趣而且有能力啃这块砖的核心研究者，用三套以上彼此独立的计算系统，从三个不同的方向，把同一个结论，反复复核了出来。
它是对的。
它真的是对的。
……
伦敦时间，下午。
马库斯·霍尔特坐在沃里克大学那间堆满了书的办公室里。
他面前摊着的，是这段时间以来，用触控笔逐字逐句啃过的论文。
《一种由局部边界强迫的非周期单砖构造及证明》
每一页的页边，都画满了他的批注、问号和推演草图。
而现在，那些问号，已经被他一个一个地用红笔打上了对勾。
最后一个问号，是第三节那个关于骨架识别的核心引理。
那曾经是他最不放心的地方。
霍尔特用了一个星期，自己在草稿纸上推了三遍。
确定每一遍都与江临的结论严丝合缝。
他打开了自己那个拥有两万多名学术界关注者的推特账号。
几天前，他在这里发过一条动态，说tile J值得严肃关注，代换规则在计算上是稳健的。
没料到那条动态成了同行们的发令枪，让他们开始严肃地推敲它。
而现在。
霍尔特沉默了几秒，敲下了一段全新的文字。
这一次，他没有再用任何留有余地的措辞。
“我已经逐行读完了tile J的全部主证明，并完成了独立复核。来自滑铁卢柏林等多个独立团队的计算核验，使用彼此无关的代码实现，结果完全一致。”
“在我看来，这个证明是完整的，并且是正确的。”
“非周期单砖问题——存在一种单一形状，它能够铺满整个平面，且任何这样的铺砌都不具有平移周期性——在被提出大半个世纪之后，第一次，被一个无可辩驳的构造解决了。”
“我向这位作者，致以我最深的敬意。”
他顿了顿，似乎想起了那个荒诞到极点的署名单位。
最后，他又补了一句。
“无论他来自哪里，无论他多大年纪。”
发送。
这条推特，没有一个感叹号。
但对于全世界那一百多个把身家性命压在这个冷门方向上的研究者来说，它的分量，重过千钧。
因为发出这句话的人，是这个领域里说话最谨慎，最不肯轻易给任何东西背书的老派学者之一。
他说了正确，用了彻底解决。
这意味着，圈子里那场由代码和草稿纸构成的集体复核，落下了帷幕。
———
接下来的几个小时里，附和如同山呼海啸。
法国cNRS的那位老几何学家，在论坛上贴出了自己手算的周期带排除验证，配文只有一个词：confird。
阿肯色那边，那位专门狙击层级替代结构里拓扑幻觉的老狐狸，公开承认自己没能找到任何破绽，并称这是一件被时间反复打磨过的，令人不安的完美作品。
京都数理解析研究所的团队，把他们对手性翻转情形的独立验证报告，挂到了网上。
那个曾经满是冷嘲热讽的tiling & tessellation硬核论坛，画风大变。
七天前，置顶帖的标题还是Another einstein clai
（又一个民科自称解决了？）。
而现在，版主把帖子重新置顶，并修改了标题。
the einstein probleis solved. (tile J confird by ltiple independent tea)
帖子里，最高赞的回复，来自一个研究铺砌二十多年的老Id。
他写道。
“我研究这个方向半辈子，以为，在我有生之年，我大概是看不到它被终极的这一天了。”
“现在它的答案来了，甚至不是来自我们这个圈子里任何一个我有印象的名字。”
“数学有时候就是这样残忍又浪漫。”
“它不在乎你是谁。”
“它只在乎，你那块砖，对不对。”
———
学术圈这台机器一旦达成共识，下游的传导，就快得超乎想象。
最先反应过来的，依然是那些早就盯着ar
柏林工业大学，计算几何与组合算法实验室。
克劳斯已经连续三十多个小时没有合眼了。
他面前的六块屏幕上，全是滚动的终端日志和密密麻麻的JSoN结构树。
三天前，当他第一次用江临提供的那个被称为S的核验包，在半径R=10的范围内跑出绿色的No pERIodIc pAtchES FoUNd时，他在那个只有七八个顶级算法研究者的私密小群里，说了一句话。
this is not nonsense.
但那天晚上，他的导师，实验室的负责人，做了三十年组合优化的老教授，把他叫进了办公室。
老教授只问了他一个问题。
“你跑的，是他写的代码？”
克劳斯点头。
老教授摇了摇头。
“那不叫复现。”
克劳斯一愣。
“克劳斯，你想过没有。如果他的证明里，藏着一个连他自己都没意识到的错误。而恰好，他写的核验代码里，也藏着一个能把这个错误正好遮住的bug。”
“那你跑他的代码，跑一万遍，跑到天荒地老，你看到的，永远是他那个漂亮的绿字。”
“你不是在验证真理。你是在重复他可能犯下的同一个错误。”
克劳斯瞬间明白了导师的意思，背后渗出一层冷汗。
要想真正独立地验证这块砖，唯一的办法，是把江临那个干净漂亮的S包扔到一边。
只拿着那篇论文里，用纯数学语言写下的图形定义、四类大块的替代规则、边界读法约定。
然后，从一行空白的代码开始，用一套完全不同的语言，一套完全不同的底层框架，把整个核验系统，重新造一遍。
如果两套从零开始，彼此之间没有任何一行共享代码的系统，最终吐出来的东西，分毫不差地撞在了一起。
那才叫复现。
那才叫真理。
于是，过去三天，克劳斯没碰江临的python。
他用Rust，从顶点坐标的代数整数编码开始，一砖一瓦地重写。
他自己实现状态生成，自己写哈希，自己做等价类合并。
甚至故意换了一套和论文完全不同的内部命名习惯，就是为了逼着自己，去真正理解每一步背后的数学，而不是无意识地抄。
报错，排查，重跑。
再报错，再重跑。
此刻，凌晨两点。
他自己写的那套Rust系统，在柏林实验室那台四路A的计算节点上，刚刚跑完了局部情形表的全量枚举。
终端最后一行，跳出了一个数字。
最终幸存的不可约状态总数。
克劳斯颤抖着手，打开另一个窗口。
那是他从江临论文附录的数据表里，原样誊抄下来的，江临声称的理论状态总数。
两个数字，一个来自中国，一个来自柏林实验室那台刚刚轰鸣了三天的服务器。
它们，一位不差。
不只是总数。
克劳斯让两套系统分别输出每一个等价类的多项式哈希指纹，做了一次逐行diff。
零差异。
四千多个状态，没有一个对不上。
克劳斯没有欢呼。
他已经筋疲力竭，没有力气欢呼了。
把椅子往后一靠，仰头看着实验室天花板上惨白的灯管，喉咙里发出一声又干又哑的气音。
然后想起了自己最初看到那个署名时，轻蔑失笑的样子。
Jiangcheng No.7 high School。
一所中国的高中。
“Gott.”
克劳斯低声骂了一句，接着在群里发了那张diff结果的截图。
下面只附了一句话，全大写。
INdEpENdENt REILENtAtIoN IN RUSt. ZERo ShAREd codE. ALL StAtE hAShES tch.
It hoLdS.
……
几乎是在同一个时间窗口里。
加拿大，滑铁卢。
Kaplan团队那边，也终于跑完了Layer-7之后，后面的路虽然冗长，却再无险滩。
代换系统的自相似结构，像一台冷酷而精确的机器，把所有更高层级的边界，全部强迫进了那个唯一的非周期轨道里。
没有任何一个状态，能逃逸出江临用局部规则和层级替代结构焊死的那个笼子。
一封简短的邮件，从滑铁卢发往了那个隐秘的小圈子。
Verification plete up to Layer-12. No further obstructions found. the substitution structure is rigid all the way up.
至此，分散在英国、加拿大、德国、法国、日本的，全世界几乎所有真正感兴趣而且有能力啃这块砖的核心研究者，用三套以上彼此独立的计算系统，从三个不同的方向，把同一个结论，反复复核了出来。
它是对的。
它真的是对的。
……
伦敦时间，下午。
马库斯·霍尔特坐在沃里克大学那间堆满了书的办公室里。
他面前摊着的，是这段时间以来，用触控笔逐字逐句啃过的论文。
《一种由局部边界强迫的非周期单砖构造及证明》
每一页的页边，都画满了他的批注、问号和推演草图。
而现在，那些问号，已经被他一个一个地用红笔打上了对勾。
最后一个问号，是第三节那个关于骨架识别的核心引理。
那曾经是他最不放心的地方。
霍尔特用了一个星期，自己在草稿纸上推了三遍。
确定每一遍都与江临的结论严丝合缝。
他打开了自己那个拥有两万多名学术界关注者的推特账号。
几天前，他在这里发过一条动态，说tile J值得严肃关注，代换规则在计算上是稳健的。
没料到那条动态成了同行们的发令枪，让他们开始严肃地推敲它。
而现在。
霍尔特沉默了几秒，敲下了一段全新的文字。
这一次，他没有再用任何留有余地的措辞。
“我已经逐行读完了tile J的全部主证明，并完成了独立复核。来自滑铁卢柏林等多个独立团队的计算核验，使用彼此无关的代码实现，结果完全一致。”
“在我看来，这个证明是完整的，并且是正确的。”
“非周期单砖问题——存在一种单一形状，它能够铺满整个平面，且任何这样的铺砌都不具有平移周期性——在被提出大半个世纪之后，第一次，被一个无可辩驳的构造解决了。”
“我向这位作者，致以我最深的敬意。”
他顿了顿，似乎想起了那个荒诞到极点的署名单位。
最后，他又补了一句。
“无论他来自哪里，无论他多大年纪。”
发送。
这条推特，没有一个感叹号。
但对于全世界那一百多个把身家性命压在这个冷门方向上的研究者来说，它的分量，重过千钧。
因为发出这句话的人，是这个领域里说话最谨慎，最不肯轻易给任何东西背书的老派学者之一。
他说了正确，用了彻底解决。
这意味着，圈子里那场由代码和草稿纸构成的集体复核，落下了帷幕。
———
接下来的几个小时里，附和如同山呼海啸。
法国cNRS的那位老几何学家，在论坛上贴出了自己手算的周期带排除验证，配文只有一个词：confird。
阿肯色那边，那位专门狙击层级替代结构里拓扑幻觉的老狐狸，公开承认自己没能找到任何破绽，并称这是一件被时间反复打磨过的，令人不安的完美作品。
京都数理解析研究所的团队，把他们对手性翻转情形的独立验证报告，挂到了网上。
那个曾经满是冷嘲热讽的tiling & tessellation硬核论坛，画风大变。
七天前，置顶帖的标题还是Another einstein clai
（又一个民科自称解决了？）。
而现在，版主把帖子重新置顶，并修改了标题。
the einstein probleis solved. (tile J confird by ltiple independent tea)
帖子里，最高赞的回复，来自一个研究铺砌二十多年的老Id。
他写道。
“我研究这个方向半辈子，以为，在我有生之年，我大概是看不到它被终极的这一天了。”
“现在它的答案来了，甚至不是来自我们这个圈子里任何一个我有印象的名字。”
“数学有时候就是这样残忍又浪漫。”
“它不在乎你是谁。”
“它只在乎，你那块砖，对不对。”
———
学术圈这台机器一旦达成共识，下游的传导，就快得超乎想象。
最先反应过来的，依然是那些早就盯着ar