第102章 世界开始承认它（3 / 11）
至此，分散在英国、加拿大、德国、法国、日本的，全世界几乎所有真正感兴趣而且有能力啃这块砖的核心研究者，用三套以上彼此独立的计算系统，从三个不同的方向，把同一个结论，反覆覆核了出来。
它是对的。
它真的是对的。
……
伦敦时间，下午。
马库斯·霍尔特坐在沃里克大学那间堆满了书的办公室里。
他面前摊著的，是这段时间以来，用触控笔逐字逐句啃过的论文。
《一种由局部边界强迫的非周期单砖构造及证明》
每一页的页边，都画满了他的批註、问號和推演草图。
而现在，那些问號，已经被他一个一个地用红笔打上了对勾。
最后一个问號，是第三节那个关於骨架识別的核心引理。
那曾经是他最不放心的地方。
霍尔特用了一个星期，自己在草稿纸上推了三遍。
確定每一遍都与江临的结论严丝合缝。
他打开了自己那个拥有两万多名学术界关注者的推特帐號。
几天前，他在这里发过一条动態，说tile j值得严肃关注，代换规则在计算上是稳健的。
没料到那条动態成了同行们的发令枪，让他们开始严肃地推敲它。
而现在。
霍尔特沉默了几秒，敲下了一段全新的文字。
这一次，他没有再用任何留有余地的措辞。
“我已经逐行读完了tile j的全部主证明，並完成了独立覆核。来自滑铁卢柏林等多个独立团队的计算核验，使用彼此无关的代码实现，结果完全一致。”
“在我看来，这个证明是完整的，並且是正確的。”
“非周期单砖问题——存在一种单一形状，它能够铺满整个平面，且任何这样的铺砌都不具有平移周期性——在被提出大半个世纪之后，第一次，被一个无可辩驳的构造解决了。”
“我向这位作者，致以我最深的敬意。”
他顿了顿，似乎想起了那个荒诞到极点的署名单位。
最后，他又补了一句。
“无论他来自哪里，无论他多大年纪。”
发送。
这条推特，没有一个感嘆號。
但对於全世界那一百多个把身家性命压在这个冷门方向上的研究者来说，它的分量，重过千钧。 ↑返回顶部↑
它是对的。
它真的是对的。
……
伦敦时间，下午。
马库斯·霍尔特坐在沃里克大学那间堆满了书的办公室里。
他面前摊著的，是这段时间以来，用触控笔逐字逐句啃过的论文。
《一种由局部边界强迫的非周期单砖构造及证明》
每一页的页边，都画满了他的批註、问號和推演草图。
而现在，那些问號，已经被他一个一个地用红笔打上了对勾。
最后一个问號，是第三节那个关於骨架识別的核心引理。
那曾经是他最不放心的地方。
霍尔特用了一个星期，自己在草稿纸上推了三遍。
確定每一遍都与江临的结论严丝合缝。
他打开了自己那个拥有两万多名学术界关注者的推特帐號。
几天前，他在这里发过一条动態，说tile j值得严肃关注，代换规则在计算上是稳健的。
没料到那条动態成了同行们的发令枪，让他们开始严肃地推敲它。
而现在。
霍尔特沉默了几秒，敲下了一段全新的文字。
这一次，他没有再用任何留有余地的措辞。
“我已经逐行读完了tile j的全部主证明，並完成了独立覆核。来自滑铁卢柏林等多个独立团队的计算核验，使用彼此无关的代码实现，结果完全一致。”
“在我看来，这个证明是完整的，並且是正確的。”
“非周期单砖问题——存在一种单一形状，它能够铺满整个平面，且任何这样的铺砌都不具有平移周期性——在被提出大半个世纪之后，第一次，被一个无可辩驳的构造解决了。”
“我向这位作者，致以我最深的敬意。”
他顿了顿，似乎想起了那个荒诞到极点的署名单位。
最后，他又补了一句。
“无论他来自哪里，无论他多大年纪。”
发送。
这条推特，没有一个感嘆號。
但对於全世界那一百多个把身家性命压在这个冷门方向上的研究者来说，它的分量，重过千钧。 ↑返回顶部↑