就看到了电脑屏幕上密密麻麻的文字、数字、推导、证明……
以及，电脑下方的应用图标——LaTeX！
这是……
在写论文？
谢永松第一反应，还以为自己看错了。
昨天晚上两人分开的时候，虽然进度已经推到了七成多，但那也只是研究框架和部分关键证明完成了而已。
剩下的东西，才是真正难啃的硬骨头。
尤其是主体证明后半段、反例构造、迭代域重构理论的收束部分，每一块都不是简单用几句话就能解决的。
按照他的估计，就算林枫天赋再高，今天能把剩下那几块证明继续往前推进一大截，就已经很惊人了。
至于全部完成，写成论文，至少也要等到明天了。
所以，一开始，他还以为林枫只是把昨天已有的内容先整理到文档里。
但很快，他就发现，不是这样！
因为屏幕上显示的，根本不是昨天他们已经讨论过的内容，而是新的证明。
是昨天他们两个一直卡到闭馆，都还没有完全解决的主体证明的后半段。
而且，已经写了很多，甚至都要写到结论了。
谢永松瞳孔猛地一缩，呼吸为之一滞。
他没有出声打扰林枫，只是站在身后，死死地盯着屏幕。
光标快速跳动，林枫的手指在键盘上飞快敲着。
一段证明刚刚结束，下一段推导便紧跟着接上。
没有停顿！
没有犹豫！
没有那种临时拼凑时常见的反复修改！
就好像……
就好像这套证明的全过程早就完整地刻在了他脑子里一样！
他现在只是把这些东西一字一句地敲出来！
谢永松越看，心跳越快。
这里接上了！
这里竟然也接上了！
还有这个地方……
这个地方昨天明明是最难处理的退化情形，他竟然直接绕过去了？
不！
不是绕过去！
是用前面新加的辅助条件，把退化情形硬生生排除了！
谢永松下意识地把脖子往屏幕前伸了伸。
也正是这一动，林枫这才注意到身后还站着一个人。
他回头一看，见是谢永松，连忙打了声招呼。
“谢老师，您来了。”
…。。