继续翻附录。
一个小时之后，霍尔特靠回椅背，只觉得一阵难以名状的电流从尾椎骨窜上后脑。
他看了看计算机右下角的时间，凌晨一点四十五分。
他思索片刻，打开邮箱客户端，新建了一封邮件。
在收件人栏里，他谨慎地敲下了第一个名字：Craig Kaplan。
停顿了一下。
滑铁卢大学的那帮人是做计算几何、铺砌和可视化的顶级专家。
对这种基于代换规则的复杂构造，Kaplan的团队拥有世界上最敏锐的代码直觉。
如果存在低级错误，他们写个脚本跑一下就能发现。
于是，他又输入了第二个名字：ChaiGoodn-Strauss。
阿肯色大学的几何学家。
如果这篇稿子的层级替代结构存在拓扑学上的幻觉，那种级别的老狐狸几乎不可能看不出来。
他原本还想再加几个名字。
想了想，又删掉了一半。
离散几何的圈子太小了。
小到一封带有可能解决单砖问题暗示的邮件一旦扩散出去，半天之内就能传遍全球所有真正关心这个问题的人，甚至引来媒体的无端骚扰。
在还没有真正看清，没有做哪怕一次基础复核之前，霍尔特不想制造无谓的学术噪音。
最后，他的邮件标题写得极短，不带任何标点符号。
You need to look at this.
正文更是简练到了极点。
I anot saying it is correct.
But it is not the usual nonsense. Look at Section 4， specifically the treatnt of the S-5 aiguity.
点击发送后，霍尔特没有去睡觉，而是重新回到PDF第一页，拿起触控笔，在那个丑陋的十三边形旁边，重重地画了一个圈。
这一次，他开始逐字逐句地，用审视数学真理的严苛目光，认真阅读。
书房的窗外，是英国深夜浓重的黑暗。
但在学术互联网的神经元里，一个巨大的信号已经开始沿着光缆飞速传递。
几个小时后，加拿大，滑铁卢市。
Craig Kaplan刚刚起床。
作为一个长期浸淫在Penrose铺砌、伊斯兰几何纹样和计算机替代系统中的专家，他每天的第一件事就是煮咖啡，然后查阅邮箱。
“You need to look at this.”
看到这个标题，Kaplan挑了挑眉毛。
他太了解霍尔特了，那个典型的英国老派学者，绝不会轻易在邮件里用这种带有命令式的迫切语气。
他端着咖啡，点开了邮件里的arXiv链接。
看标题，看摘要，看图 1 的型状。。
Kaplan 盯着屏幕足足愣了十秒钟，然后扑哧一声笑了出来。
“马库斯昨晚是不是喝多了？”
他本能地想要关掉页面，但处于对霍尔特学术信誉的尊重，他忍住了。
把页面拉到了霍尔特邮件中特别指出的第四节。
几分钟后，Kaplan脸上的笑意完全消失了。
他放下马克杯，立刻唤醒了旁边的两台高性能工作站。
……
同一时间，德国，柏林。
一个计算几何与组合算法实验室里。
年轻的博士后研究员克劳斯正在跑一个SMT求解器。
他没有看证明文本。
“用De Bruijn网格法，测试这块砖的局部可延展性。”克劳斯一边咬着冷掉的三明治，一边敲击键盘。
他要做的，是让超级计算机来判断，给定一个由Tile J拼成的半径为R的圆盘局域，是否必然存在一种方法将其扩展到无穷大，并且在扩展过程中强制打破平移周期性。
这是局部强迫理论在计算学上的终极试金石。
屏幕上的终端窗口疯狂滚动着数据。
状态空间呈指数级爆炸，但克劳斯写出了极好的剪枝算法，去掉了那些在论文S表格中已经被证实为死路的分支。
半小时后，计算结束。
终端输出了绿色的字符：NO PERIODIC P
SURVIVING BRANCHES MATCH SUBST