第170章 把零交给全世界（7 / 18）
悬在项目组心头的最后一座大山，终於被移平。
……
星期日，晚上八点。
清华会议室。
乔闻鐸將论文最终定稿的pdf版本，发送到了每一位核心成员的面前的终端屏幕上。
论文的標题已经不再带有任何试验性的后缀。
《五状態繁忙海狸精確值的確定》
英文標题下方，是一长列按照学术惯例排列的作者姓名。
排在最前面的第一作者栏里，端端正正地印著两个简单的拼音单词。
jiang lin。
周述滑动滑鼠，看了一眼屏幕上的江临名字，又低头去逐字逐句核对论文末尾自己那部分负责工程优化的贡献说明。
叶寧正在一字不漏地检查rust和ocaml两套不同实现组的署名情况，確保没有任何跨组的交叉错误。
而第三方负责人则坚持將他们团队负责的独立攻击性验证工作，与主体的数学证明构造完全分开陈述，以避免任何人借红队监督者的身份，去分享他们並未承担的数学理论发现责任。
江临坐在老位置上，目光沉静，从论文的第一行引言一直看到了最后一行参考文献。
“rust和ocaml两个工程组的名字要在致谢和作者列表里明確分列。”
江临抬起头，看向乔闻鐸。
“这两边从最初的规范设计，一直到后期的代码实现，都保持著物理级別的隔离，贡献说明里也必须保留这种绝对的独立性，不能混为一谈。另外，覆盖见证这部分，是我们为了响应外部审查而后补的公开验证接口，它在版本控制上要单独列出一个子版本。至於外部参与復现的节点，只写他们实际完成的復现工作。他们是否愿意进入最终的联合验证联盟署名名单，必须发邮件由本人亲自確认，不可代签。”
乔闻鐸点了点头，隨后看似隨意地问了一句：“那这第一作者的顺序呢，有没有异议？”
江临的目光重新落回標题页上那个属於自己的名字。
“保持不变。”
“你要想清楚其中的分量。”乔闻鐸放下手里的资料，目光深邃地看著眼前这个大一新生，“这个位置不仅仅是荣誉。它意味著，在论文公布后的十年、二十年，以后学术界的任何人——只要他们想要攻击我们设计的共享可信核架构、攻击你推导的宏状態不变量、或者是挑刺我们今天刚补上的那套覆盖接口，第一封措辞严厉的质询邮件，甚至是在国际会议上的公开刁难，都会直接指向你。”
“那是应该的。”江临合上电脑屏幕，语气没有一丝波澜，“核心证明是我写的，架构是我定的。出了问题，不找我找谁？”
乔闻鐸不再多言。他握著那支陪伴了自己多年的老派钢笔，在作者顺序確认单最下方的负责人位置，重重地签下了自己的名字。
会议室的另一侧，学校科研宣传部门的几位工作人员正將准备好的对外公开新闻稿投射到大屏幕上。
这篇新闻的標题歷经了三轮激烈的修改討论，但当前版本仍有一处关键措辞需要核心团队的最后確认。
屏幕上亮起一行大字——
【清华大一新生攻克繁忙海狸世界级难题】
江临皱了皱眉，站起身，走到控制台前拿起电子笔，毫不犹豫地在屏幕上划掉了標题前半句那种带有浓烈个人英雄主义和炒作嫌疑的描述，隨后又在繁忙海狸四个字前，严谨地补上了五状態三个字作为定语。
於是，一篇原本极具新闻爆点的新闻標题，被修改成了略显枯燥但绝对严谨的学术公告。
【联合研究团队解决五状態繁忙海狸问题】 ↑返回顶部↑
……
星期日，晚上八点。
清华会议室。
乔闻鐸將论文最终定稿的pdf版本，发送到了每一位核心成员的面前的终端屏幕上。
论文的標题已经不再带有任何试验性的后缀。
《五状態繁忙海狸精確值的確定》
英文標题下方，是一长列按照学术惯例排列的作者姓名。
排在最前面的第一作者栏里，端端正正地印著两个简单的拼音单词。
jiang lin。
周述滑动滑鼠，看了一眼屏幕上的江临名字，又低头去逐字逐句核对论文末尾自己那部分负责工程优化的贡献说明。
叶寧正在一字不漏地检查rust和ocaml两套不同实现组的署名情况，確保没有任何跨组的交叉错误。
而第三方负责人则坚持將他们团队负责的独立攻击性验证工作，与主体的数学证明构造完全分开陈述，以避免任何人借红队监督者的身份，去分享他们並未承担的数学理论发现责任。
江临坐在老位置上，目光沉静，从论文的第一行引言一直看到了最后一行参考文献。
“rust和ocaml两个工程组的名字要在致谢和作者列表里明確分列。”
江临抬起头，看向乔闻鐸。
“这两边从最初的规范设计，一直到后期的代码实现，都保持著物理级別的隔离，贡献说明里也必须保留这种绝对的独立性，不能混为一谈。另外，覆盖见证这部分，是我们为了响应外部审查而后补的公开验证接口，它在版本控制上要单独列出一个子版本。至於外部参与復现的节点，只写他们实际完成的復现工作。他们是否愿意进入最终的联合验证联盟署名名单，必须发邮件由本人亲自確认，不可代签。”
乔闻鐸点了点头，隨后看似隨意地问了一句：“那这第一作者的顺序呢，有没有异议？”
江临的目光重新落回標题页上那个属於自己的名字。
“保持不变。”
“你要想清楚其中的分量。”乔闻鐸放下手里的资料，目光深邃地看著眼前这个大一新生，“这个位置不仅仅是荣誉。它意味著，在论文公布后的十年、二十年，以后学术界的任何人——只要他们想要攻击我们设计的共享可信核架构、攻击你推导的宏状態不变量、或者是挑刺我们今天刚补上的那套覆盖接口，第一封措辞严厉的质询邮件，甚至是在国际会议上的公开刁难，都会直接指向你。”
“那是应该的。”江临合上电脑屏幕，语气没有一丝波澜，“核心证明是我写的，架构是我定的。出了问题，不找我找谁？”
乔闻鐸不再多言。他握著那支陪伴了自己多年的老派钢笔，在作者顺序確认单最下方的负责人位置，重重地签下了自己的名字。
会议室的另一侧，学校科研宣传部门的几位工作人员正將准备好的对外公开新闻稿投射到大屏幕上。
这篇新闻的標题歷经了三轮激烈的修改討论，但当前版本仍有一处关键措辞需要核心团队的最后確认。
屏幕上亮起一行大字——
【清华大一新生攻克繁忙海狸世界级难题】
江临皱了皱眉，站起身，走到控制台前拿起电子笔，毫不犹豫地在屏幕上划掉了標题前半句那种带有浓烈个人英雄主义和炒作嫌疑的描述，隨后又在繁忙海狸四个字前，严谨地补上了五状態三个字作为定语。
於是，一篇原本极具新闻爆点的新闻標题，被修改成了略显枯燥但绝对严谨的学术公告。
【联合研究团队解决五状態繁忙海狸问题】 ↑返回顶部↑