他觉得自己像个在流水线上拧螺丝的计件工人,而且拧的还是那种随时会爆炸的螺丝。
后来,在高强度的机械重复中,他逐渐麻木了,变成了没有感情的跑码机器。
但是,再后来,当版本号推进到 v0.7 时,陈彦在深夜独自盯着闪烁的终端光标,内心深处竟然在这种枯燥中,生出了一丝深深的恐惧。
因为江临改得太快了。
不是那种学生被老师骂后,满头大汗,急匆匆,乱补的快。
那是一种令人毛骨悚然的、仿佛居高临下的“熟练”。
而是你指出一个问题,他像早就知道那个问题会出现一样,迅速切到对应位置,改掉,补日志,升版本,重新跑,给出差异说明。
有一次,有一次,陈彦忍不住问:“你是不是提前写过这些?”
江临正在改REAd_reproduce.,头也没抬地回了一句。
“写过类似的。”
“什么时候?”陈彦追问。
他难以置信一个高中生能凭空拥有这种大型工程项目的架构能力和危机处理经验。
因为这需要时间的喂招,需要无数个项目的毒打。
可是江临至少淡淡抛出两个字。
“之前。”
陈彦看着他。
这句之前,让他完全没法接。
五月九日晚上,局部情形表的全量复跑,第一次在江大那台被优化到极致的Linux机器上宣告完成。
终端显示,总运行时间:8小时17分钟42秒。
所有的等价类合并无误,最终状态数与纸面理论计算完全吻合。
五月十日,远在南京的南大集群服务器复跑完成。
克服了浮点数和环境差异后,机器给出了结果一致的最终判断。
五月十一日,邵明棠研究所那边,不仅跑完了关键样例,甚至动用了超算中心的闲置节点,跑完了为了排除周期带可能性的相关拓展脚本。
结果一致。
五月十二日,江临将所有生成的日志、哈希校验码、代码本体打包。
他打开Latex,编译生成了最终的文档。
S_verification_report_v0.8.pdf。
tile J 局部情形表的有限状态核验报告。
五月十三日,上午九点。
江城上空飘着细雨,c216讨论室再次召开全体闭门会议。
这一次,长条会议桌面上的材料,已经从最初的一摞粗糙的草稿纸,变成了整整齐齐的三摞重磅文件。
第一摞,是经过逐行推敲、严密重构后的纸面证明定稿。
第二摞,是那份厚达两百页的计算机辅助核验报告,散发着机房特有的静电味道。
第三摞,是这几天来所有的修改意见、打回记录、bug追踪汇总。
顾南舟把最后一版内部记录投到屏幕上。
tile J内部复核记录
状态:可提交预印本草稿。
下面有三条。
一、纸面证明主链条完成内部逐行复核第一轮。
二、局部情形表已完成S辅助核验,多机复跑结果一致。
三、内部复核体系收官。
陆知行合上记录本:“流程上,没有任何瑕疵了。我认为,我们可以进入预印本的准备阶段。”
顾南舟轻轻点头:“既然核心学术工作已经确立,那今天下午的工作,就是整理论文的标题页和致谢部分。”
这句话一出,原本还残留着一丝讨论余热的屋里,几个人突然全都安静了下来。
连陈彦都停止了敲击键盘的手,下意识地屏住了呼吸。
因为所有人都心知肚明,接下来要摆在台面上谈的,已经不再是客观的数学。
而是主观的,关乎人性、名誉与利益的署名权。
下午两点。
c216 的大白板被陈彦擦得干干净净。
顾南舟拿起黑色的白板笔,在最上面,郑重地写下了一个英文单词:Authors。
然后,他放下笔,转过身,看向坐在桌子另一端的江临。
“江临,你是这篇论文的绝对核心发起人。”顾南舟的声音温和得来又充满了力量,“关于署名,你先说你的想法。”
江临似乎早有准备,平静地从口袋里拿出了一张折叠好的A4纸,推到了桌子中央。
上面,用黑色中性笔,端端正正地列好了一个按首字母排列的作者顺序。
顾南舟只低头看了一眼,刚看到自己的名字赫然在列,他那平时总是温文尔雅的眉头,立刻紧紧地皱了起来,仿佛看到了一件极度违背常理的事物。
通过视频会议连线在屏幕上的林照野,凑近摄像头瞥了一眼,脸色也瞬间变了变,原本靠在椅背上的身体猛地坐直。
身在北京的邵明棠,性格最为直率,她看清纸上的名单后,根本没有给江临开口解释的机会,直接通过麦克风掷地有声地说:“瞎胡闹,立刻把我的名字删掉。”
“把我的也删掉。”林照野紧随其后,语气严厉得像是在训斥一个犯了低级错误的本科生。
“我的也一样。”陆知行推了推眼镜,语气没有丝毫商量的余地。
江临看着几位反应激烈的教授,微微直起身子,双手交叉放在桌面上。
“顾教授帮我从宏观上拆解了验证任务、制定了多线并行的规范流程,并提供了江大最好的服务器资源。陆教授几天几夜没合眼,帮我盯住每一步的拓扑证据链,把我的草稿翻译成了符合顶级期刊规范的学术语言。林教授和邵教授推掉了原本的行程,逐行帮我审查证明逻辑,为半周期带和替代系统的物理意义把关。”
江临的语气很平稳,没有刻意煽情,但每一个字都很认真。
“这篇论文,这项工作,在过去的这小半个月里,已经不是我一个人的了。如果只署我一个人的名字,我觉得不公平。”
他说的是绝对的真心话。
在废土里,他独自一人在这个问题的黑暗丛林里摸索了几十年。
他比这个世界上的任何人都清楚,能被一群最专业最苛刻,愿意为你逐行挑错,为你提供强大算力支撑的人验证过的成果,是多么幸运和难得的事情。
是这几位老师,用他们的经验和严谨,帮他完成了从个人的奇想到人类的真理的最后一次跃迁。
可他的话音刚落,林照野就在屏幕那头用力地摆了摆手,打断了他。
“江临,你听着。”林照野盯着摄像头,目光如炬,“这篇论文,从最核心的几何构造(tile J),到突破性的证明路线,再到那套极其完备的核验程序。每一个真正撑起这篇论文骨架的,属于从零到一的创造性突破,都是你一个人想出来写出来的。”
“我们几个人做了什么?我们不过是看了看你的稿子,问了几个刁钻的问题,利用我们手头那点微不足道的职权,帮你调度了几台跑得快一点的机器罢了。这些事,属于验证,不属于创造。换任何一个有数学常识,懂点代码的同行来,只要有足够的时间,都能做。”
林照野看着他,一字一句,掷地有声。
“但那块能引发局部强迫的非周期砖,全世界除了你,目前没有任何一个大脑能想得出来。”
“江临,我知道你是个好孩子。但你要明白,学术署名,不是分发胜利果实的蛋糕。”林照野加重了语气,“不是谁在旁边递了块砖,出了点力气,熬了几个夜,就该厚着脸皮去挂名。署名意味着,你对这篇论文的核心智力贡献,享有荣誉,负有不可推卸的责任。”
邵明棠在那头也接过了话茬,她的声音里带着一种老一代知识分子特有的清高与坦荡。
“林教授说得对,我们没有那个资格去承担这份贡献的重量。”
“我们这帮老家伙,半个月前还在居高临下地告诉你,这种级别的验证最少要好几个月的时间。结果呢,你用了不到三天,就把纸面的全部证明摆在我们面前了。”
邵明棠看着屏幕里那个年轻得过分的少年,忍不住笑了一下。
那笑容里,有对天才的欣慰,也有作为一个在学术界摸爬滚打了几十年的过来人的释然和坦荡。
“就凭这一点,你让我们这几个所谓的学术前辈,教授,哪有脸把自己的名字,署在你这个真正推开真理大门的人的前面?哪怕是挂在后面,我们都会觉得烫手。”
“这篇论文注定是要进数学史的。真要厚着脸皮署上去了,等十年后,后人翻开数学史一看,哟,解决爱因斯坦单砖问题的世纪之作上,作者栏里除了真正提出构造的天才江临,后面还挂着几个靠帮着跑了跑机器改了改格式的教授。”
林照野冷笑了一声,极其尖锐地补了一句。
“那不是给我们这几个老家伙脸上贴金,那是往我们一辈子的学术声誉上抹黑。那是让全世界的同行笑话我们以大欺小,贪天之功,去抢一个高中生的心血。”
林照野的话说得极重,几乎是把学术界的潜规则和底线赤裸裸地撕开摆在了桌面上。
江临看着他们,嘴唇微动,还想再说什么。
“好了,别争了。”
这次开口的是一直沉默的顾南舟。
“江临,你要是真想表达对我们这几天熬夜的谢意,很简单,在文章的最后,把我们列进致谢里。写上一句感谢某某某在验证与讨论中提供的帮助,这就足够了。”
顾南舟看着江临的眼睛,很认真严肃地说。
“这是我们该得的,也是我们只该得的。”
“至于作者栏,这篇足以
后来,在高强度的机械重复中,他逐渐麻木了,变成了没有感情的跑码机器。
但是,再后来,当版本号推进到 v0.7 时,陈彦在深夜独自盯着闪烁的终端光标,内心深处竟然在这种枯燥中,生出了一丝深深的恐惧。
因为江临改得太快了。
不是那种学生被老师骂后,满头大汗,急匆匆,乱补的快。
那是一种令人毛骨悚然的、仿佛居高临下的“熟练”。
而是你指出一个问题,他像早就知道那个问题会出现一样,迅速切到对应位置,改掉,补日志,升版本,重新跑,给出差异说明。
有一次,有一次,陈彦忍不住问:“你是不是提前写过这些?”
江临正在改REAd_reproduce.,头也没抬地回了一句。
“写过类似的。”
“什么时候?”陈彦追问。
他难以置信一个高中生能凭空拥有这种大型工程项目的架构能力和危机处理经验。
因为这需要时间的喂招,需要无数个项目的毒打。
可是江临至少淡淡抛出两个字。
“之前。”
陈彦看着他。
这句之前,让他完全没法接。
五月九日晚上,局部情形表的全量复跑,第一次在江大那台被优化到极致的Linux机器上宣告完成。
终端显示,总运行时间:8小时17分钟42秒。
所有的等价类合并无误,最终状态数与纸面理论计算完全吻合。
五月十日,远在南京的南大集群服务器复跑完成。
克服了浮点数和环境差异后,机器给出了结果一致的最终判断。
五月十一日,邵明棠研究所那边,不仅跑完了关键样例,甚至动用了超算中心的闲置节点,跑完了为了排除周期带可能性的相关拓展脚本。
结果一致。
五月十二日,江临将所有生成的日志、哈希校验码、代码本体打包。
他打开Latex,编译生成了最终的文档。
S_verification_report_v0.8.pdf。
tile J 局部情形表的有限状态核验报告。
五月十三日,上午九点。
江城上空飘着细雨,c216讨论室再次召开全体闭门会议。
这一次,长条会议桌面上的材料,已经从最初的一摞粗糙的草稿纸,变成了整整齐齐的三摞重磅文件。
第一摞,是经过逐行推敲、严密重构后的纸面证明定稿。
第二摞,是那份厚达两百页的计算机辅助核验报告,散发着机房特有的静电味道。
第三摞,是这几天来所有的修改意见、打回记录、bug追踪汇总。
顾南舟把最后一版内部记录投到屏幕上。
tile J内部复核记录
状态:可提交预印本草稿。
下面有三条。
一、纸面证明主链条完成内部逐行复核第一轮。
二、局部情形表已完成S辅助核验,多机复跑结果一致。
三、内部复核体系收官。
陆知行合上记录本:“流程上,没有任何瑕疵了。我认为,我们可以进入预印本的准备阶段。”
顾南舟轻轻点头:“既然核心学术工作已经确立,那今天下午的工作,就是整理论文的标题页和致谢部分。”
这句话一出,原本还残留着一丝讨论余热的屋里,几个人突然全都安静了下来。
连陈彦都停止了敲击键盘的手,下意识地屏住了呼吸。
因为所有人都心知肚明,接下来要摆在台面上谈的,已经不再是客观的数学。
而是主观的,关乎人性、名誉与利益的署名权。
下午两点。
c216 的大白板被陈彦擦得干干净净。
顾南舟拿起黑色的白板笔,在最上面,郑重地写下了一个英文单词:Authors。
然后,他放下笔,转过身,看向坐在桌子另一端的江临。
“江临,你是这篇论文的绝对核心发起人。”顾南舟的声音温和得来又充满了力量,“关于署名,你先说你的想法。”
江临似乎早有准备,平静地从口袋里拿出了一张折叠好的A4纸,推到了桌子中央。
上面,用黑色中性笔,端端正正地列好了一个按首字母排列的作者顺序。
顾南舟只低头看了一眼,刚看到自己的名字赫然在列,他那平时总是温文尔雅的眉头,立刻紧紧地皱了起来,仿佛看到了一件极度违背常理的事物。
通过视频会议连线在屏幕上的林照野,凑近摄像头瞥了一眼,脸色也瞬间变了变,原本靠在椅背上的身体猛地坐直。
身在北京的邵明棠,性格最为直率,她看清纸上的名单后,根本没有给江临开口解释的机会,直接通过麦克风掷地有声地说:“瞎胡闹,立刻把我的名字删掉。”
“把我的也删掉。”林照野紧随其后,语气严厉得像是在训斥一个犯了低级错误的本科生。
“我的也一样。”陆知行推了推眼镜,语气没有丝毫商量的余地。
江临看着几位反应激烈的教授,微微直起身子,双手交叉放在桌面上。
“顾教授帮我从宏观上拆解了验证任务、制定了多线并行的规范流程,并提供了江大最好的服务器资源。陆教授几天几夜没合眼,帮我盯住每一步的拓扑证据链,把我的草稿翻译成了符合顶级期刊规范的学术语言。林教授和邵教授推掉了原本的行程,逐行帮我审查证明逻辑,为半周期带和替代系统的物理意义把关。”
江临的语气很平稳,没有刻意煽情,但每一个字都很认真。
“这篇论文,这项工作,在过去的这小半个月里,已经不是我一个人的了。如果只署我一个人的名字,我觉得不公平。”
他说的是绝对的真心话。
在废土里,他独自一人在这个问题的黑暗丛林里摸索了几十年。
他比这个世界上的任何人都清楚,能被一群最专业最苛刻,愿意为你逐行挑错,为你提供强大算力支撑的人验证过的成果,是多么幸运和难得的事情。
是这几位老师,用他们的经验和严谨,帮他完成了从个人的奇想到人类的真理的最后一次跃迁。
可他的话音刚落,林照野就在屏幕那头用力地摆了摆手,打断了他。
“江临,你听着。”林照野盯着摄像头,目光如炬,“这篇论文,从最核心的几何构造(tile J),到突破性的证明路线,再到那套极其完备的核验程序。每一个真正撑起这篇论文骨架的,属于从零到一的创造性突破,都是你一个人想出来写出来的。”
“我们几个人做了什么?我们不过是看了看你的稿子,问了几个刁钻的问题,利用我们手头那点微不足道的职权,帮你调度了几台跑得快一点的机器罢了。这些事,属于验证,不属于创造。换任何一个有数学常识,懂点代码的同行来,只要有足够的时间,都能做。”
林照野看着他,一字一句,掷地有声。
“但那块能引发局部强迫的非周期砖,全世界除了你,目前没有任何一个大脑能想得出来。”
“江临,我知道你是个好孩子。但你要明白,学术署名,不是分发胜利果实的蛋糕。”林照野加重了语气,“不是谁在旁边递了块砖,出了点力气,熬了几个夜,就该厚着脸皮去挂名。署名意味着,你对这篇论文的核心智力贡献,享有荣誉,负有不可推卸的责任。”
邵明棠在那头也接过了话茬,她的声音里带着一种老一代知识分子特有的清高与坦荡。
“林教授说得对,我们没有那个资格去承担这份贡献的重量。”
“我们这帮老家伙,半个月前还在居高临下地告诉你,这种级别的验证最少要好几个月的时间。结果呢,你用了不到三天,就把纸面的全部证明摆在我们面前了。”
邵明棠看着屏幕里那个年轻得过分的少年,忍不住笑了一下。
那笑容里,有对天才的欣慰,也有作为一个在学术界摸爬滚打了几十年的过来人的释然和坦荡。
“就凭这一点,你让我们这几个所谓的学术前辈,教授,哪有脸把自己的名字,署在你这个真正推开真理大门的人的前面?哪怕是挂在后面,我们都会觉得烫手。”
“这篇论文注定是要进数学史的。真要厚着脸皮署上去了,等十年后,后人翻开数学史一看,哟,解决爱因斯坦单砖问题的世纪之作上,作者栏里除了真正提出构造的天才江临,后面还挂着几个靠帮着跑了跑机器改了改格式的教授。”
林照野冷笑了一声,极其尖锐地补了一句。
“那不是给我们这几个老家伙脸上贴金,那是往我们一辈子的学术声誉上抹黑。那是让全世界的同行笑话我们以大欺小,贪天之功,去抢一个高中生的心血。”
林照野的话说得极重,几乎是把学术界的潜规则和底线赤裸裸地撕开摆在了桌面上。
江临看着他们,嘴唇微动,还想再说什么。
“好了,别争了。”
这次开口的是一直沉默的顾南舟。
“江临,你要是真想表达对我们这几天熬夜的谢意,很简单,在文章的最后,把我们列进致谢里。写上一句感谢某某某在验证与讨论中提供的帮助,这就足够了。”
顾南舟看着江临的眼睛,很认真严肃地说。
“这是我们该得的,也是我们只该得的。”
“至于作者栏,这篇足以