第99章 星星之火（4 / 8）
甚至可以说，太知道爱因斯坦问题的命门和痛处了。
在过去几十年无数宣告失败的单砖候选证明中，百分之九十的人都死在一个地方。
他们天真地以为，只要证明了每一块底层的砖都能唯一地归入某个上一层的大块，证明就完成了。
然而，在无限延伸的平面上，由於非周期性，边界上总会存在某些模稜两可的拼接方式。
真正要证明的，不是每一块底层砖都能绝对唯一地归入上一层大块，而是在有限边界歧义之外，层级骨架能不能被局部规则稳定读出。
这个来自中国高中的傢伙，不仅知道这个陷阱，甚至主动把刀尖对准了这里。
霍尔特已经变凉的花草茶推到书桌边缘，重新打开pdf的侧边栏，深吸了一口气，直接跳到整个证明最核心也是最容易暴毙的章节。
04_no_periodic_strip.pdf
如果这篇稿子是某个高级別的恶作剧，或者存在某个隱蔽的致命错误，百分之九十九会在这里露馅。
霍尔特先看读法约定。
然后看翻面处理。
再看短重复片段。
很快，他看到一张表。
s-3，s-4，s-5，s-6，s-7。
这些是局部看起来，似乎有可能顺著某个轴线进行周期延展的边界片段。
作者根本没有把这些危险的局部组合藏起来，或者用一句容易证明其不成立糊弄过去。
相反，他像一个冷酷的外科医生，把这些可能导致理论崩溃的毒瘤一个个切开，单独编號。
他列出了这些片段的初始形態，翻面读法约束，然后最关键的是，他推演了这些片段在进行第三次代换后的分裂情况。
霍尔特的手指在屏幕上停住，低声感嘆了一句：“interesting...”
继续翻附录。
一个小时之后，霍尔特靠回椅背，只觉得一阵难以名状的电流从尾椎骨窜上后脑。
他看了看电脑右下角的时间，凌晨一点四十五分。
他思索片刻，打开邮箱客户端，新建了一封邮件。
在收件人栏里，他谨慎地敲下了第一个名字：craig kaplan。
停顿了一下。
滑铁卢大学的那帮人是做计算几何、铺砌和可视化的顶级专家。
对这种基於代换规则的复杂构造，kaplan的团队拥有世界上最敏锐的代码直觉。
如果存在低级错误，他们写个脚本跑一下就能发现。
於是，他又输入了第二个名字：chaim goodman-strauss。
阿肯色大学的几何学家。 ↑返回顶部↑
在过去几十年无数宣告失败的单砖候选证明中，百分之九十的人都死在一个地方。
他们天真地以为，只要证明了每一块底层的砖都能唯一地归入某个上一层的大块，证明就完成了。
然而，在无限延伸的平面上，由於非周期性，边界上总会存在某些模稜两可的拼接方式。
真正要证明的，不是每一块底层砖都能绝对唯一地归入上一层大块，而是在有限边界歧义之外，层级骨架能不能被局部规则稳定读出。
这个来自中国高中的傢伙，不仅知道这个陷阱，甚至主动把刀尖对准了这里。
霍尔特已经变凉的花草茶推到书桌边缘，重新打开pdf的侧边栏，深吸了一口气，直接跳到整个证明最核心也是最容易暴毙的章节。
04_no_periodic_strip.pdf
如果这篇稿子是某个高级別的恶作剧，或者存在某个隱蔽的致命错误，百分之九十九会在这里露馅。
霍尔特先看读法约定。
然后看翻面处理。
再看短重复片段。
很快，他看到一张表。
s-3，s-4，s-5，s-6，s-7。
这些是局部看起来，似乎有可能顺著某个轴线进行周期延展的边界片段。
作者根本没有把这些危险的局部组合藏起来，或者用一句容易证明其不成立糊弄过去。
相反，他像一个冷酷的外科医生，把这些可能导致理论崩溃的毒瘤一个个切开，单独编號。
他列出了这些片段的初始形態，翻面读法约束，然后最关键的是，他推演了这些片段在进行第三次代换后的分裂情况。
霍尔特的手指在屏幕上停住，低声感嘆了一句：“interesting...”
继续翻附录。
一个小时之后，霍尔特靠回椅背，只觉得一阵难以名状的电流从尾椎骨窜上后脑。
他看了看电脑右下角的时间，凌晨一点四十五分。
他思索片刻，打开邮箱客户端，新建了一封邮件。
在收件人栏里，他谨慎地敲下了第一个名字：craig kaplan。
停顿了一下。
滑铁卢大学的那帮人是做计算几何、铺砌和可视化的顶级专家。
对这种基於代换规则的复杂构造，kaplan的团队拥有世界上最敏锐的代码直觉。
如果存在低级错误，他们写个脚本跑一下就能发现。
於是，他又输入了第二个名字：chaim goodman-strauss。
阿肯色大学的几何学家。 ↑返回顶部↑