第332章 成果验证（2/2）

车辆全程走涉密专用通道，直达西山地下研究所，在进入研究所后，即刻收缴所有私人物品，签署国家安全保密协议，明确泄密后果按叛国罪追责。

随后他们被带入封闭休息区待命。

在专家们被提名期间，三辆看起来很不起眼、悬挂普通牌照的车辆驶入清木校园，直达新斋楼下。

早将证明手稿用最高级别加密文件箱存放的玄武，第一时间将其交出去。

没有寒暄，也没有过多交流，就像是普通人过来拿个文件一样，三辆车在拿到东西后，与早就等待的另一辆车一起驶离了清木。

叶清河与桃子坐在其中。

车子在专家团到达前就到了西山地下研究所，用内部复印机将原稿复印数份后，然后把原稿装进封皮上盖着鲜红绝密★长期印章的文件袋里，送进了最高级别的保密室。

而复印出来的复印件，每一页都被第一时间印上专属溯源编码，并且保证在专家组验证时，全程有专人不离视线跟随。

等验证专家组被引领到验证室座，这些文件才被拿出来。

验证室没有多余装饰，四面是防窥加密白板，中央放着长形会议桌，桌上仅有专用演算纸笔与涉密计算器。

“各位专家同志，这是叶清河叶院士，相信各位有所耳闻！”

袁崖作为组长，在叶清河进来后，向众位专家先介绍了一下叶清河。

众位专家纷纷向叶清河点头示意，虽然多数人都没有见过叶清河，但是叶清河被提名为院士这个事情他们还是知道的。

只是没有想到叶清河会如此年轻。

“这位是周宇院士，华科院数据所所长，代数几何、多复变函数与范畴论权威，专攻跨领域结构对偶验证，负责核验范畴论部分的函子结构与自然变换逻辑。”

这位是席华院士，代数群与表示论顶尖专家，数理逻辑与证明论学科带头人，负责拆解数理逻辑底层公理、证明论序数与逻辑不变量的定义合理性。

陈明院士，计算数学与几何分析泰斗，无限维黎曼流形研究领军者，负责验证离散逻辑空间到连续几何结构的延拓可行性，以及几何不变量的耦合关系。

这位是....“

袁崖为叶清河一一介绍了验证组的专家以及验证委员。

这些人基本上不是院士就是长河学者或者国家杰出青年基金获得者，且均主持过国家级重大基础科研项目，每人专攻一个细分模块，实行交叉核验，互不干扰，杜绝单一专家偏差。

“叶院士，今日专家组受国家委托，将对你攻克的逻辑－几何强对偶难题证明成果进行全流程、逐环节的封闭验证。

此成果关乎国家数学基础理论根基、国密体系重构与国防科技核心竞争力，容不得丝毫偏差，现在开始你的核心思路阐述，专家组同步逐页审验手稿。”

此时验证委员们才知道这次被叫过来，到底是为了什么。

一个个面露惊容，一脸不敢置信。

叶清河点点头，在桃子的推动下，来到中央加密白板前，拿起白板笔。