第98章 推向全世界（5 / 11）
结果一致。
五月十二日，江临將所有生成的日誌、哈希校验码、代码本体打包。
他打开latex，编译生成了最终的文档。
mps_verification_report_v0.8.pdf。
tile j 局部情形表的有限状態核验报告。
五月十三日，上午九点。
江城上空飘著细雨，c216討论室再次召开全体闭门会议。
这一次，长条会议桌面上的材料，已经从最初的一摞粗糙的草稿纸，变成了整整齐齐的三摞重磅文件。
第一摞，是经过逐行推敲、严密重构后的纸面证明定稿。
第二摞，是那份厚达两百页的计算机辅助核验报告，散发著机房特有的静电味道。
第三摞，是这几天来所有的修改意见、打回记录、bug追踪匯总。
顾南舟把最后一版內部记录投到屏幕上。
tile j內部覆核记录
状態：可提交预印本草稿。
下面有三条。
一、纸面证明主链条完成內部逐行覆核第一轮。
二、局部情形表已完成mps辅助核验，多机復跑结果一致。
三、內部覆核体系收官。
陆知行合上记录本：“流程上，没有任何瑕疵了。我认为，我们可以进入预印本的准备阶段。”
顾南舟轻轻点头：“既然核心学术工作已经確立，那今天下午的工作，就是整理论文的標题页和致谢部分。”
这句话一出，原本还残留著一丝討论余热的屋里，几个人突然全都安静了下来。
连陈彦都停止了敲击键盘的手，下意识地屏住了呼吸。
因为所有人都心知肚明，接下来要摆在檯面上谈的，已经不再是客观的数学。
而是主观的，关乎人性、名誉与利益的署名权。
下午两点。
c216 的大白板被陈彦擦得乾乾净净。
顾南舟拿起黑色的白板笔，在最上面，郑重地写下了一个英文单词：authors。
然后，他放下笔，转过身，看向坐在桌子另一端的江临。
“江临，你是这篇论文的绝对核心发起人。”顾南舟的声音温和得来又充满了力量，“关於署名，你先说你的想法。”
江临似乎早有准备，平静地从口袋里拿出了一张摺叠好的a4纸，推到了桌子中央。 ↑返回顶部↑
五月十二日，江临將所有生成的日誌、哈希校验码、代码本体打包。
他打开latex，编译生成了最终的文档。
mps_verification_report_v0.8.pdf。
tile j 局部情形表的有限状態核验报告。
五月十三日，上午九点。
江城上空飘著细雨，c216討论室再次召开全体闭门会议。
这一次，长条会议桌面上的材料，已经从最初的一摞粗糙的草稿纸，变成了整整齐齐的三摞重磅文件。
第一摞，是经过逐行推敲、严密重构后的纸面证明定稿。
第二摞，是那份厚达两百页的计算机辅助核验报告，散发著机房特有的静电味道。
第三摞，是这几天来所有的修改意见、打回记录、bug追踪匯总。
顾南舟把最后一版內部记录投到屏幕上。
tile j內部覆核记录
状態：可提交预印本草稿。
下面有三条。
一、纸面证明主链条完成內部逐行覆核第一轮。
二、局部情形表已完成mps辅助核验，多机復跑结果一致。
三、內部覆核体系收官。
陆知行合上记录本：“流程上，没有任何瑕疵了。我认为，我们可以进入预印本的准备阶段。”
顾南舟轻轻点头：“既然核心学术工作已经確立，那今天下午的工作，就是整理论文的標题页和致谢部分。”
这句话一出，原本还残留著一丝討论余热的屋里，几个人突然全都安静了下来。
连陈彦都停止了敲击键盘的手，下意识地屏住了呼吸。
因为所有人都心知肚明，接下来要摆在檯面上谈的，已经不再是客观的数学。
而是主观的，关乎人性、名誉与利益的署名权。
下午两点。
c216 的大白板被陈彦擦得乾乾净净。
顾南舟拿起黑色的白板笔，在最上面，郑重地写下了一个英文单词：authors。
然后，他放下笔，转过身，看向坐在桌子另一端的江临。
“江临，你是这篇论文的绝对核心发起人。”顾南舟的声音温和得来又充满了力量，“关於署名，你先说你的想法。”
江临似乎早有准备，平静地从口袋里拿出了一张摺叠好的a4纸，推到了桌子中央。 ↑返回顶部↑