第462章 哪一圈合不上 (第2/2页)
　　
　　「这两个问题本身没什麽关系。」
　　
　　他说。
　　
　　「日内瓦那个是物理问题。」
　　
　　「这里是霍奇。」
　　
　　「我也没有把他们的数据或者模型搬过来。」
　　
　　这一句说得很清楚。
　　
　　「真正有用的只是这个问法。」
　　
　　他拿粉笔点了一下黑板。「不知道里面是什麽。」
　　
　　「那就先别一直盯着里面。」
　　
　　「拿掉。」
　　
　　「看看外面少了什麽。」
　　
　　说完。
　　
　　陈拙终於转身。
　　
　　走回前面那几块黑板。
　　
　　科大留下来的那堵墙还在。
　　
　　常数还在。
　　
　　正规函数。
　　
　　渐进包络。
　　
　　抓手。秤。
　　
　　还有那个一直没有被证明存在的。
　　
　　代数循环。
　　
　　他站到代数循环旁边。
　　
　　看了几秒。
　　
　　然後拿板擦，把中间那个一直被圈出来的候选位置擦空。
　　
　　乾乾净净。
　　
　　「所以我回来以後，第一次没再找它。」
　　
　　这句话让报告厅彻底静下来。
　　
　　前面那麽长时间。
　　
　　陈拙一直在找。
　　
　　从科大开始找。找位置。
　　
　　找桥。
　　
　　找工具。
　　
　　找抓手。
　　
　　找能让代数世界承认的秤。
　　
　　现在他第一次主动把那里擦掉。
　　
　　什麽都不放。
　　
　　「先假设......」
　　
　　陈拙指着那片空白。
　　
　　「这里没有代数循环。」
　　
　　没有人记笔记了。
　　
　　所有人都看着黑板。陈拙把常数重新写到旁边。
　　
　　然後从最外层开始。
　　
　　第一行，第二行，第三行。
　　
　　写到这里。
　　
　　停。
　　
　　真的停了。
　　
　　不是报告技巧。
　　
　　是当时的推导，本来就只走到了这里。
　　
　　陈拙看着那三行。
　　
　　「第一次就写到这儿。」
　　
　　下面有人愣了一下。
　　
　　大概没想到。这样一条後来几乎改写整个证明方向的思路，第一次落到纸面上，只有三行。
　　
　　陈拙指着第三行。
　　
　　「断了。」
　　
　　他很平静。
　　
　　「再往下不知道怎麽接。」
　　
　　没有强行接。
　　
　　也没有假装那个晚上已经把整个证明看穿了。
　　
　　只是三行。
　　
　　一个新的问法。
　　
　　然後卡住。
　　
　　陈拙看着那三行，忽然笑了一下。
　　
　　「不过这次跟以前不太一样。」他说。
　　
　　「以前断的时候，我通常不知道前面是不是也错了。」
　　
　　「这次不是。」
　　
　　他在最上面那句话下面划了一道。
　　
　　先算没有它时，哪一圈合不上。
　　
　　「这句话我没划。」
　　
　　「因为我觉得问题应该这麽问。」
　　
　　这一点，对当时的陈拙来说已经足够重要。
　　
　　答案还没有。
　　
　　候选也没有。
　　
　　连真正的闭圈都还没算出来。
　　
　　但他第一次不再需要从黑板中心伸手去抓什麽。他可以从外面开始。
　　
　　走一圈。
　　
　　看看空缺本身会不会留下痕迹。
　　
　　陈拙把那三行又重新写了一遍。
　　
　　这次稍微换了个位置。
　　
　　第一行不动。
　　
　　第二行换。
　　
　　第三行依旧断。
　　
　　他没有急。
　　
　　又换。
　　
　　断。
　　
　　再换。还是断。
　　
　　「後来我就一直从这里往下补。」
　　
　　他说。
　　
　　「一点一点。」
　　
　　「先不管最後能不能证明霍奇。」
　　
　　「先看这个问法能走多远。」
　　
　　黑板上的三行逐渐多起来。
　　
　　四行。
　　
　　五行。
　　
　　又停。
　　
　　换一个起点。
　　
　　再走。不同的圈。
　　
　　不同的网格。
　　
　　不同的局部。
　　
　　有些很快就能回来。
　　
　　有些走一半就废了。
　　
　　还有一些总是在某个相近的位置留下一个缺口。
　　
　　陈拙没有立刻解释这些缺口意味着什麽。
　　
　　只是一个一个圈出来。
　　
　　第一个。
　　
　　第二个。
　　
　　第三个。
　　
　　然後把几个位置往一起对。台下开始有人明白了。
　　
　　那些缺口并不是完全散乱的。
　　
　　也不是换一个网格就跑得没有关系。
　　
　　它们在不同写法里，始终向着同一片地方靠。
　　
　　陈拙的粉笔慢了下来。
　　
　　他把几个缺口之间的关系轻轻连起来。
　　
　　没有写结论。
　　
　　先看。
　　
　　又重新核了一遍。
　　
　　最後才说道：
　　
　　「做到这里，我第一次知道一件事。」
　　
　　粉笔停在那片共同指向的区域外面。「如果那个地方真的不能空着。」
　　
　　他没有说那就是答案。
　　
　　而是换了一个更谨慎的说法。
　　
　　「那应该出现的东西，大概不是随便从哪里都能出来。」
　　
　　陈拙画了一个很小的圈。
　　
　　「它得从这里开始。」
　　
　　报告厅里依然很静。
　　
　　这不是证明。
　　
　　甚至还不是一个成熟的对象。
　　
　　只是从没有它会哪里坏掉反推回来以後，第一次出现的一个具体方向。
　　
　　可对已经在黑暗里摸了很久的人来说。
　　
　　具体方向本身，就足够珍贵。陈拙看着那个小圈。
　　
　　过了一会儿。
　　
　　在旁边写下五个字。
　　
　　第一个候选。
　　
　　写完以後，他没有继续。
　　
　　只是把粉笔放回槽里。
　　
　　「到这里，还不能证明霍奇。」
　　
　　他说。
　　
　　「离证明还差得挺远。」
　　
　　陈拙看了一眼那个小圈。
　　
　　「不过这是第一次。」
　　
　　「我大概知道，那个应该出现的代数循环，会从哪里开始长出来。」