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