大卫轻声说了一句。
「确实是代数几何的路子。」
但黑板前并没有因为这句话而平静下来。
这只是一场刚刚开始的。
他们是搞计算机拓扑算法的，对物理符号不敏感，但对矩阵和张量有着近乎本能的直觉。
山姆的眼睛微微眯着。
他在脑子里，把陈拙写下的那些数学符号，一行一行地翻译成算法逻辑和数据结构。
时间一分一秒地过去。
酒馆里依然喧闹，有人在吧台那边打碎了一个玻璃杯，引来一阵带着醉意的口哨声。
黑板前的这几个人却像是在另一个世界里。
五分钟後。
阿伦仰起头，把杯子里的最後一口黑啤喝乾。
他把空杯子随手放在旁边的窗台上，发出一声清脆的声音。
「想法很聪明。」
阿伦转过身，看着陈拙。
眼神变得锐利起来。
他走上前，从粉笔槽里拿起一小截红色的粉笔。
这是刚才不知道谁涂鸦剩下的。
阿伦拿着红粉笔，在陈拙画的那个四方网格的最外圈，重重地画了一个大圈。
「你用代数映射锁住了节点，试图绕开连续空间的计算量，在静态下，这个草图看起来很完美。」
阿伦的粉笔尖停在网格的中心。
「但是，陈。」
阿伦的声音在嘈杂的背景音里，显得异常冷酷。
「你要证明霍奇猜想，你就必须让这个离散的网格去逼近连续的极限。」
阿伦手腕发力。
红色的粉笔在黑板上画出了几个指向中心的箭头。
「你要让网格的间距，趋近於零。」
陈拙看着那些红色的箭头，眼神没有波动，他静静地听着。
「这就是问题所在。」
阿伦用粉笔在其中一个节点上用力敲了两下。
「你为了绕开计算量，把物理外壳剥得太乾净了，你扔掉了规范场里的自旋，扔掉了能量守恒提供的张力。」
阿伦看着陈拙的眼睛。
「在物理学上，没有这些东西提供向外的支撑，你这张网就是软的。」
阿伦的手指猛地在中心点一按。
「一旦你开始取极限，当间距无限缩小的时候，没有自旋和引力去稳固这些代数节点，这个拓扑结构会像真空衰变一样，
…。。