五月五日,下午两点二十七分。
江城站二楼候车大厅。
电子屏幕上,开往南京南的G字头列车已经开始滚动检票提醒。
林照野坐在靠近检票口的一排塑料座椅上,右手环抱着一个黑色双肩包,左手握着手机。
候车大厅里人声嘈杂。
拖箱轮子碾过地砖,小孩的哭闹声,广播女声毫无起伏的播报,某个人手机里外放的短视频音效,全部混在一起,像一锅沸腾的水。
林照野这几天在江城其实没有休息好。
不是因为酒店的环境不够好,实在是一闭眼,脑子里就是那块块十三边形,那张边界图,那个高中生,那个被他们暂时称为tile J的候选构造。
广播声突兀地在头顶响起,打破了他的沉思。
“旅客朋友们请注意,您乘坐的G1726 次列车现在开始检票,请带好您的随身物品,在检票口排队等候……”
林照野深吸了一口气,背上双肩包,刚准备动身,手里的手机忽然震动起来。
屏幕上跳出顾南舟的来电。
他接通,将手机贴在耳边。
“南舟?”
电话那头没有任何寒暄,也没有平时那种客气的尊称开场。
“林老师,您现在上车了吗?”
顾南舟的声音听起来有一种奇怪的紧绷感,像是一根拉满的弓弦。
林照野眉头微皱,看了一眼已经开始移动的队伍:“正准备检票,怎么了?”
“江临交东西了。”
林照野刚要迈出去的脚步收了回来。
“交坐标表了?”
“不是。”
“那是四类大块图?”
“也不是。”
林照野的眉头慢慢拧了起来,额头上的川字纹显得格外深刻。
“那就是局部情形表,他把那些有限边界拼合的穷举情况列出来了?”
电话那边沉默了两秒。
仅仅是两秒,但林照野听见了顾南舟沉重的呼吸声。
“是纸面证明。”
林照野没说话。
候车大厅里人来人往,一个拖着银色行李箱的男人差点撞到他的膝盖。
男人回头低声说了句不好意思,便匆匆汇入检票的人潮里。
林照野却像什么都没听见,身体站在原地,思绪也仿佛在这一瞬间凝固了。
好半响他才沉声问道:“什么叫纸面证明?”
顾南舟的声音压得很低,仿佛怕惊动了什么:“七项都有。”
“图形定义,四类大块,局部情形表,骨架唯一性,周期带排除论证,主定理推导,还有一份专门给审阅者看的说明。”
林照野第一反应根本不是惊喜。
“我前几天怎么跟他说的?”
他的声音一下子沉了下去,带着长年身居教职的威严。
“宁可慢,不可错。数学证明不是搭积木,底座哪怕有一毫米的虚位,盖到第一百层的时候大厦就会直接垮塌。你是怎么盯的,你们让他赶工了?”
“没有。”顾南舟回答得很快。
“那这份三天不到的时间就写完的七项核心证明是什么?”
林照野的声音提高了几分,引得旁边排队的好几个旅客侧目。
“他以为这是阿里竞赛题?只要写出个大体思路,阅卷老师就会给他步骤分吗?这是要面对整个离散几何和铺砌理论圈的审查的。”
电话那头的顾南舟没有辩解,甚至没有去安抚林照野的情绪。
他只是等林照野说完,才低声说道:“林老师,我看到文件的时候,一开始的想法和您一模一样,以为这是胡闹。”
林照野轻哼了一声表示听到了。
顾南舟继续道:“但我看了目录,也试着看了前三节的引理推导,完全不像是赶工稿。”
林照野脸上的表情微微一变。
“发我看看。”
“已经发了。”
通话结束。
林照野站在检票队伍旁边的空地上,单手划开手机屏幕,点开微信。
顾南舟的对话框里,一张长截图赫然跳出。
那是一个文件夹的目录结构截图。
文件夹名称冷酷而克制。
tile_J_internal_proof_v0.9
下面整整齐齐排列着七个 pdF 文件。
00_shape_definition.pdf
01_supertile_construction.pdf
02_local_cases_table_paper.pdf
03_skeleton_recognition.pdf
04_no_periodic_strip.pdf
05_in_theorepdf
REAd_for_review.pdf
没有代码包。
没有计算机核验程序。
没有那些需要花大量时间去编译,调试,打包,在服务器上复现的计算流文件。
这让林照野倒悬在心口的第一口气稍微松了那么一点。
至少,江临还没有离谱到声称自己在两天内写完核验程序,调试完所有局部枚举,还打包成可复现材料。
如果他连核验包都交了,林照野会直接把这份文件丢进废纸篓,因为那在物理时间上违背了碳基生物的极限。
可下一秒,当他的视线向右移动,看见每个文件大小和后面附带的页数标记时,他刚松下去的那口气,再次卡在了胸腔里。
形状定义,十四页。
四类大块构造,二十六页。
局部情形表纸面版,六十八页。
骨架识别,三十七页。
周期带排除,四十二页。
主定理,十九页。
审阅说明,八页。
合起来,两百一十四页。
林照野站在人潮涌动的检票口旁边,足足十几秒没动。
这不仅是页数的问题,这是排版后的 pdF,这意味着大量的公式录入,图形绘制,符号定义。
在不到三天的时间里敲出两百多页的数学排版,这已经不仅仅是脑力劳动,这需要机械般的手速和毫无卡顿的逻辑流。
“这位同志,您走不走?”
身后的一个背着旅行包的小伙子忍不住出声提醒。
林照野抬头看了一眼检票口。
闸机正在快速吞吐着车票,绿色的通行箭头频频闪烁,队伍在不断往前挪动。
大屏幕上,G1726的状态已经变成了正在检票。
他没有动,低下头,点开顾南舟发来的第二张截图。
那是03_skeleton_recognition.pdf那一节的正文第一页。
在黑体加粗的标题之下,第一段的摘要引言位置,写着这样一行字——
“本节证明的不是底层单砖归属唯一,而是在允许有限边界扰动的意义下,高层合成骨架可由局部边界规则唯一读出。”
林照野看着这一行字,喉咙里像是被什么东西轻轻卡住,咽不下去,也吐不出来。
这句话写得一点都不炫技,毫无美感。
甚至在用词上显得有些冗长。
但它正好钉在他们反复提醒过的那个点上。
微信提示音再次响起。
顾南舟发来了一条文字消息。
【林老师,您要回来看看吗?】
“让陈彦把文件全部打印出来,我现在就打车回江大。”
林照野没有再看检票口一眼,按住语音键,对着电话那头说道,声音里那股疲惫一扫而空。
与此同时。
江城天河机场,t3航站楼。
邵明棠已经过了安检,正坐在贵宾舱候机室靠近落地窗的单人沙发上。
膝盖上放着一个深灰色的皮质电脑包,手里端着一杯温热的柠檬水。
窗外,巨大的波音客机正在跑道上缓缓滑行。
顾南舟给她订的是下午三点十分飞往北京的航班。
登机提示还没有响。
机场的氛围要比高铁站安静一些,但那种无处不在的匆忙感更加强烈。
拖着行李箱的商务旅客,步伐一致的空姐,戴着降噪耳机的大学生,每个人都在精准的时间线上切分着自己的行程,奔赴下一个目的地。
邵明棠也该走了。
北京的研究所里还有一场关于符号动力系统与非周期结构的研讨会。
办公桌上有一份博士生的开题材料等着她签字。
更麻烦的是,《数学年刊》派发给她的一篇长达八十页的审稿意见,她已经拖延了三天没有回复主编邮件。
不得不说,时间才是她这种级别的学者最稀缺的资源。
可就在她准备拉开电脑包拉链,趁着登机前的二十分钟回复几封邮件时,她放在旁边的手机屏幕亮了。
来电显示——顾南舟。
邵明棠拿起手机,滑动接听。
“顾老师,我正准备登机,如果是关于后续跟进的纪要,你可以发我邮箱。”
“邵老师,江临交材料了。”顾南舟的声音透过听筒传来。
邵明棠第一反应很平静:“他把坐标系参数还是基础组合图的矢量文件发过来了?进展不错嘛,你让陈彦核对一下,有没有参
江城站二楼候车大厅。
电子屏幕上,开往南京南的G字头列车已经开始滚动检票提醒。
林照野坐在靠近检票口的一排塑料座椅上,右手环抱着一个黑色双肩包,左手握着手机。
候车大厅里人声嘈杂。
拖箱轮子碾过地砖,小孩的哭闹声,广播女声毫无起伏的播报,某个人手机里外放的短视频音效,全部混在一起,像一锅沸腾的水。
林照野这几天在江城其实没有休息好。
不是因为酒店的环境不够好,实在是一闭眼,脑子里就是那块块十三边形,那张边界图,那个高中生,那个被他们暂时称为tile J的候选构造。
广播声突兀地在头顶响起,打破了他的沉思。
“旅客朋友们请注意,您乘坐的G1726 次列车现在开始检票,请带好您的随身物品,在检票口排队等候……”
林照野深吸了一口气,背上双肩包,刚准备动身,手里的手机忽然震动起来。
屏幕上跳出顾南舟的来电。
他接通,将手机贴在耳边。
“南舟?”
电话那头没有任何寒暄,也没有平时那种客气的尊称开场。
“林老师,您现在上车了吗?”
顾南舟的声音听起来有一种奇怪的紧绷感,像是一根拉满的弓弦。
林照野眉头微皱,看了一眼已经开始移动的队伍:“正准备检票,怎么了?”
“江临交东西了。”
林照野刚要迈出去的脚步收了回来。
“交坐标表了?”
“不是。”
“那是四类大块图?”
“也不是。”
林照野的眉头慢慢拧了起来,额头上的川字纹显得格外深刻。
“那就是局部情形表,他把那些有限边界拼合的穷举情况列出来了?”
电话那边沉默了两秒。
仅仅是两秒,但林照野听见了顾南舟沉重的呼吸声。
“是纸面证明。”
林照野没说话。
候车大厅里人来人往,一个拖着银色行李箱的男人差点撞到他的膝盖。
男人回头低声说了句不好意思,便匆匆汇入检票的人潮里。
林照野却像什么都没听见,身体站在原地,思绪也仿佛在这一瞬间凝固了。
好半响他才沉声问道:“什么叫纸面证明?”
顾南舟的声音压得很低,仿佛怕惊动了什么:“七项都有。”
“图形定义,四类大块,局部情形表,骨架唯一性,周期带排除论证,主定理推导,还有一份专门给审阅者看的说明。”
林照野第一反应根本不是惊喜。
“我前几天怎么跟他说的?”
他的声音一下子沉了下去,带着长年身居教职的威严。
“宁可慢,不可错。数学证明不是搭积木,底座哪怕有一毫米的虚位,盖到第一百层的时候大厦就会直接垮塌。你是怎么盯的,你们让他赶工了?”
“没有。”顾南舟回答得很快。
“那这份三天不到的时间就写完的七项核心证明是什么?”
林照野的声音提高了几分,引得旁边排队的好几个旅客侧目。
“他以为这是阿里竞赛题?只要写出个大体思路,阅卷老师就会给他步骤分吗?这是要面对整个离散几何和铺砌理论圈的审查的。”
电话那头的顾南舟没有辩解,甚至没有去安抚林照野的情绪。
他只是等林照野说完,才低声说道:“林老师,我看到文件的时候,一开始的想法和您一模一样,以为这是胡闹。”
林照野轻哼了一声表示听到了。
顾南舟继续道:“但我看了目录,也试着看了前三节的引理推导,完全不像是赶工稿。”
林照野脸上的表情微微一变。
“发我看看。”
“已经发了。”
通话结束。
林照野站在检票队伍旁边的空地上,单手划开手机屏幕,点开微信。
顾南舟的对话框里,一张长截图赫然跳出。
那是一个文件夹的目录结构截图。
文件夹名称冷酷而克制。
tile_J_internal_proof_v0.9
下面整整齐齐排列着七个 pdF 文件。
00_shape_definition.pdf
01_supertile_construction.pdf
02_local_cases_table_paper.pdf
03_skeleton_recognition.pdf
04_no_periodic_strip.pdf
05_in_theorepdf
REAd_for_review.pdf
没有代码包。
没有计算机核验程序。
没有那些需要花大量时间去编译,调试,打包,在服务器上复现的计算流文件。
这让林照野倒悬在心口的第一口气稍微松了那么一点。
至少,江临还没有离谱到声称自己在两天内写完核验程序,调试完所有局部枚举,还打包成可复现材料。
如果他连核验包都交了,林照野会直接把这份文件丢进废纸篓,因为那在物理时间上违背了碳基生物的极限。
可下一秒,当他的视线向右移动,看见每个文件大小和后面附带的页数标记时,他刚松下去的那口气,再次卡在了胸腔里。
形状定义,十四页。
四类大块构造,二十六页。
局部情形表纸面版,六十八页。
骨架识别,三十七页。
周期带排除,四十二页。
主定理,十九页。
审阅说明,八页。
合起来,两百一十四页。
林照野站在人潮涌动的检票口旁边,足足十几秒没动。
这不仅是页数的问题,这是排版后的 pdF,这意味着大量的公式录入,图形绘制,符号定义。
在不到三天的时间里敲出两百多页的数学排版,这已经不仅仅是脑力劳动,这需要机械般的手速和毫无卡顿的逻辑流。
“这位同志,您走不走?”
身后的一个背着旅行包的小伙子忍不住出声提醒。
林照野抬头看了一眼检票口。
闸机正在快速吞吐着车票,绿色的通行箭头频频闪烁,队伍在不断往前挪动。
大屏幕上,G1726的状态已经变成了正在检票。
他没有动,低下头,点开顾南舟发来的第二张截图。
那是03_skeleton_recognition.pdf那一节的正文第一页。
在黑体加粗的标题之下,第一段的摘要引言位置,写着这样一行字——
“本节证明的不是底层单砖归属唯一,而是在允许有限边界扰动的意义下,高层合成骨架可由局部边界规则唯一读出。”
林照野看着这一行字,喉咙里像是被什么东西轻轻卡住,咽不下去,也吐不出来。
这句话写得一点都不炫技,毫无美感。
甚至在用词上显得有些冗长。
但它正好钉在他们反复提醒过的那个点上。
微信提示音再次响起。
顾南舟发来了一条文字消息。
【林老师,您要回来看看吗?】
“让陈彦把文件全部打印出来,我现在就打车回江大。”
林照野没有再看检票口一眼,按住语音键,对着电话那头说道,声音里那股疲惫一扫而空。
与此同时。
江城天河机场,t3航站楼。
邵明棠已经过了安检,正坐在贵宾舱候机室靠近落地窗的单人沙发上。
膝盖上放着一个深灰色的皮质电脑包,手里端着一杯温热的柠檬水。
窗外,巨大的波音客机正在跑道上缓缓滑行。
顾南舟给她订的是下午三点十分飞往北京的航班。
登机提示还没有响。
机场的氛围要比高铁站安静一些,但那种无处不在的匆忙感更加强烈。
拖着行李箱的商务旅客,步伐一致的空姐,戴着降噪耳机的大学生,每个人都在精准的时间线上切分着自己的行程,奔赴下一个目的地。
邵明棠也该走了。
北京的研究所里还有一场关于符号动力系统与非周期结构的研讨会。
办公桌上有一份博士生的开题材料等着她签字。
更麻烦的是,《数学年刊》派发给她的一篇长达八十页的审稿意见,她已经拖延了三天没有回复主编邮件。
不得不说,时间才是她这种级别的学者最稀缺的资源。
可就在她准备拉开电脑包拉链,趁着登机前的二十分钟回复几封邮件时,她放在旁边的手机屏幕亮了。
来电显示——顾南舟。
邵明棠拿起手机,滑动接听。
“顾老师,我正准备登机,如果是关于后续跟进的纪要,你可以发我邮箱。”
“邵老师,江临交材料了。”顾南舟的声音透过听筒传来。
邵明棠第一反应很平静:“他把坐标系参数还是基础组合图的矢量文件发过来了?进展不错嘛,你让陈彦核对一下,有没有参