第1010章 这些以后就是命（2/2）

请关闭浏览器的阅读/畅读/小说模式并且关闭广告屏蔽过滤功能，避免出现内容无法显示或者段落错乱。

蒋旭负责可解释推理。

他带着两个刚毕业的博士，把模型压缩到原来的十分之一大小，同时给每一步推理输出自然语言解释。

林薇负责安全证明。

她找了一个数学背景的博士后，专门做形式化验证。

用数学方法证明算法的边界条件。

写出来的报告，像天书，可每一页都是硬的。

陆远自己负责不可篡改的决策痕迹，他在研究一种基于硬件的时间戳链。

每一步决策生成一个哈希值，哈希值写入一个只能追加不能删除的存储结构。

和蒋旭的审计日志联动。

任何试图修改痕迹的行为，都会留下新的痕迹。

这三条线，每个月在研发中心三楼的小会议室里碰一次头。

不对外，不写周报，不上大群，只有四个人知道全部内容。

陆远、于晚晴、蒋旭、林薇。

孙远有一次路过四楼，看见消防门后面有灯亮着。

他问林薇：“林姐，那边是什么部门。”

“基础研究。不归我们管。”

“研究什么的。”

“我也说不清。你去问陆总。”

孙远没去问。

他知道，陆远不想说的事，问也问不出来。

2013年秋天，第一批成果出来了。

蒋旭的可解释推理模型在几个公开数据集上跑出了不错的结果。

模型小到只有几百KB，推理速度比大模型还快。

林薇的形式化验证报告通过了同行评议，陆远的不可篡改链在内部测试中顶住了三次模拟攻击。

三个人在小会议室里碰头。

蒋旭说：“可以发表论文了。”

林薇说：“发。但别署辰光的名。用研发中心的名义。”

陆远说：“同意。低调。”

论文发了。没什么反响。引用的人寥寥无几。

陆远不在意。

他知道，这些东西要等。

等那个东西真正长出来的时候，这些论文才会被人翻出来。

那时候，它们就是锚，是尺，是底线。

晚上回家，于晚晴问他：“那边怎么样了。”

“第一篇论文发了。”

“有人看吗。”

“没有。”

“不急。”

“不急。”

于晚晴把面端上来。

两碗，西红柿鸡蛋打卤，上面撒了葱花。

两个人坐在桌前吃。

窗外梧桐树已经黄了一半，风一吹，叶子打着旋往地上落，有的贴在窗台上，停一会儿又走了。

陆远吃完面，把碗推到一边，翻开笔记本。

他拿笔的时候想了想，然后把今天的事记了一行。

2013年秋，基础研究部成立，三人方向，论文发了没人看，不急，等。

写完，他合上本子，放在桌角。

于晚晴收碗的时候看了一眼那行字，没说话，端着碗去了厨房。

水声哗哗响。

陆远坐在那里，听着水声，听着风声，听着楼下偶尔传来的自行车铃。

他把手伸进口袋，摸了摸紫微。

它安安静静贴着他的无名指根，不跳，不闪，像睡着了。

可他心里清楚，它没睡，它在等该醒的时候。