如果他连核验包都交了,林照野会直接把这份文档丢进废纸篓,因为那在物理时间上违背了碳基生物的极限。
可下一秒,当他的视线向右移动,看见每个文档大小和后面附带的页数标记时,他刚松下去的那口气,再次卡在了胸腔里。
型状定义,十四页。
四类大块构造,二十六页。
局部情形表纸面版,六十八页。
骨架识别,三十七页。
周期带排除,四十二页。
主定理,十九页。
审阅说明,八页。
合起来,两百一十四页。
林照野站在人潮涌动的检票口旁边,足足十几秒没动。
这不仅是页数的问题,这是排版后的 PDF,这意味着大量的公式录入,图形绘制,符号定义。
在不到三天的时间里敲出两百多页的数学排版,这已经不仅仅是脑力劳动,这需要机械般的手速和毫无卡顿的逻辑流。
“这位同志,您走不走?”
身后的一个背着旅行包的小伙子忍不住出声提醒。
林照野抬头看了一眼检票口。
闸机正在快速吞吐着车票,绿色的通行箭头频频闪铄,队伍在不断往前挪动。
大屏幕上,G1726的状态已经变成了正在检票。
他没有动,低下头,点开顾南舟发来的第二张截图。。
在黑体加粗的标题之下,第一段的摘要引言位置,写着这样一行字——
“本节证明的不是底层单砖归属唯一,而是在允许有限边界扰动的意义下,高层合成骨架可由局部边界规则唯一读出。”
林照野看着这一行字,喉咙里象是被什么东西轻轻卡住,咽不下去,也吐不出来。
这句话写得一点都不炫技,毫无美感。
甚至在用词上显得有些冗长。
但它正好钉在他们反复提醒过的那个点上。
微信提示音再次响起。
顾南舟发来了一条文本消息。
【林老师,您要回来看看吗?】
“让陈彦把文档全部打印出来,我现在就打车回江大。”
林照野没有再看检票口一眼,按住语音键,对着电话那头说道,声音里那股疲惫一扫而空。
与此同时。
江城天河机场,T3航站楼。
邵明棠已经过了安检,正坐在贵宾舱候机室靠近落地窗的单人沙发上。
膝盖上放着一个深灰色的皮质计算机包,手里端着一杯温热的柠檬水。
窗外,巨大的波音客机正在跑道上缓缓滑行。
顾南舟给她订的是下午三点十分飞往北京的航班。
登机提示还没有响。
机场的氛围要比高铁站安静一些,但那种无处不在的匆忙感更加强烈。
拖着行李箱的商务旅客,步伐一致的空姐,戴着降噪耳机的大学生,每个人都在精准的时间在线切分着自己的行程,奔赴下一个目的地。
邵明棠也该走了。
北京的研究所里还有一场关于符号动力系统与非周期结构的研讨会。
办公桌上有一份博士生的开题材料等着她签字。
更麻烦的是,《数学年刊》派发给她的一篇长达八十页的审稿意见,她已经拖延了三天没有回复主编邮件。
不得不说,时间才是她这种级别的学者最稀缺的资源。
可就在她准备拉开计算机包拉链,趁着登机前的二十分钟回复几封邮件时,她放在旁边的手机屏幕亮了。
来电显示——顾南舟。
邵明棠拿起手机,滑动接听。
“顾老师,我正准备登机,如果是关于后续跟进的纪要,你可以发我邮箱。”
“邵老师,江临交材料了。”顾南舟的声音通过听筒传来。
邵明棠第一反应很平静:“他把坐标系参数还是基础组合图的矢量文档发过来了?进展不错嘛,你让陈彦核对一下,有没有参数遗漏,初学者很容易在边界角度上少算几位精度。”
“是纸面证明。”
邵明棠的手指顿住了。
“哪一部分?”
“全部。”
邵明棠眉头轻轻皱起,那双总是带着审视意味的眼睛里闪过怀疑。
“全部是什么意思?顾老师,我们都是做数学的,这种词不能乱用。”
“七项都有。”顾南舟的声音依旧很低,“从图形定义一直到主定理。”
“周期带排除呢?”
作为几何拓扑方向的专家,她太清楚非周期平铺证明中最难啃的骨头在哪里。
构造一个奇怪的型状不难,难的是如何证明这个型状在铺满整个无限平