伦敦时间，下午。

马库斯·霍尔特坐在沃里克大学那间堆满了书的办公室里。

他面前摊着的，是这段时间以来，用触控笔逐字逐句啃过的论文。

《一种由局部边界强迫的非周期单砖构造及证明》

每一页的页边，都画满了他的批注、问号和推演草图。

而现在，那些问号，已经被他一个一个地用红笔打上了对勾。

最后一个问号，是第三节那个关于骨架识别的核心引理。

那曾经是他最不放心的地方。

霍尔特用了一个星期，自己在草稿纸上推了三遍。

确定每一遍都与江临的结论严丝合缝。

他打开了自己那个拥有两万多名学术界关注者的推特账号。

几天前，他在这里发过一条动态，说tile J值得严肃关注，代换规则在计算上是稳健的。

没料到那条动态成了同行们的发令枪，让他们开始严肃地推敲它。

而现在。

霍尔特沉默了几秒，敲下了一段全新的文字。

这一次，他没有再用任何留有余地的措辞。

“我已经逐行读完了tile J的全部主证明，并完成了独立复核。

来自滑铁卢柏林等多个独立团队的计算核验，使用彼此无关的代码实现，结果完全一致。”

“在我看来，这个证明是完整的，并且是正确的。”

“非周期单砖问题——存在一种单一形状，它能够铺满整个平面，且任何这样的铺砌都不具有平移周期性——在被提出大半个世纪之后，第一次，被一个无可辩驳的构造解决了。”

“我向这位作者，致以我最深的敬意。”

他顿了顿，似乎想起了那个荒诞到极点的署名单位。

最后，他又补了一句。

“无论他来自哪里，无论他多大年纪。”

发送。

这条推特，没有一个感叹号。

但对于全世界那一百多个把身家性命压在这个冷门方向上的研究者来说，它的分量，重过千钧。

因为发出这句话的人，是这个领域里说话最谨慎，最不肯轻易给任何东西背书的老派学者之一。

他说了正确，用了彻底解决。

这意味着，圈子里那场由代码和草稿纸构成的集体复核，落下了帷幕。

———

接下来的几个小时里，附和如同山呼海啸。

法国cNRS的那位老几何学家，在论坛上贴出了自己手算的周期带排除验证，配文只有一个词：confirmed。

阿肯色那边，那位专门狙击层级替代结构里拓扑幻觉的老狐狸，公开承认自己没能找到任何破绽，并称这是一件被时间反复打磨过的，令人不安的完美作品。

京都数理解析研究所的团队，把他们对手性翻转情形的独立验证报告，挂到了网上。

那个曾经满是冷嘲热讽的tiling & tessellation硬核论坛，画风大变。
本章未完，请翻下一页继续阅读.........