第332章成果驗證
第332章成果驗證(第2/3頁)
止一次參加過此類任務，知道此類任務的分量，無一推辭，簡單收拾後便登車。
車輛全程走涉密專用通道，直達西山地下研究所，在進入研究所後，即刻收繳所有私人物品，簽署國家安全保密協議，明確泄密後果按叛國罪追責。
（本章未完，請點擊下一頁繼續閱讀）第332章成果驗證(第2/2頁)
隨後他們被帶入封閉休息區待命。
在專家們被提名期間，三輛看起來很不起眼、懸掛普通牌照的車輛駛入清木校園，直達新齋樓下。
早將證明手稿用最高級彆加密文件箱存放的玄武，第一時間將其交出去。
冇有寒暄，也冇有過多交流，就像是普通人過來拿個文件一樣，三輛車在拿到東西後，與早就等待的另一輛車一起駛離了清木。
葉清河與桃子坐在其中。
車子在專家團到達前就到了西山地下研究所，用內部複印機將原稿複印數份後，然後把原稿裝進封皮上蓋著鮮紅絕密★長期印章的文件袋裡，送進了最高級彆的保密室。
而複印出來的複印件，每一頁都被第一時間印上專屬溯源編碼，並且保證在專家組驗證時，全程有專人不離視線跟隨。
等驗證專家組被引領到驗證室落座，這些文件才被拿出來。
驗證室冇有多餘裝飾，四麵是防窺加密白板，中央放著長形會議桌，桌上僅有專用演算紙筆與涉密計算器。
“各位專家同誌，這是葉清河葉院士，相信各位有所耳聞！”
袁崖作為組長，在葉清河進來後，向眾位專家先介紹了一下葉清河。
眾位專家紛紛向葉清河點頭示意，雖然多數人都冇有見過葉清河，但是葉清河被提名為院士這個事情他們還是知道的。
隻是冇有想到葉清河會如此年輕。
“這位是周宇院士，華科院數據所所長，代數幾何、多複變函數與範疇論權威，專攻跨領域結構對偶驗證，負責核驗範疇論部分的函子結構與自然變換邏輯。”
這位是席華院士，代數群與表示論頂尖專家，數理邏輯與證明論學科帶頭人，負責拆解數理邏輯底層公理、證明論序數與邏輯不變量的定義合理性。
陳明院士，計算數學與幾何分析泰鬥，無限維黎曼流形研究領軍者，負責驗證離散邏輯空間到連續幾何結構的延拓可行性，以及幾何不變量的耦合關係。
這位是....“
袁崖為葉清河一一介紹了驗證組的專家以及驗證委員。
這些人基本上不是院士就是長河學者或者國家傑出青年基金獲得者，且均主持過國家級重大基礎科研項目，每人專攻一個細分模塊，實行交叉核驗，互不乾擾，杜絕單一專家偏差。
“葉院士，今日專家組受國家委托，將對你攻克的邏輯－幾何強對偶
（本章未完，請點擊下一頁繼續閱讀）