第2059章

蔣旭負責可解釋推理。

他帶著兩個剛畢業的博士，把模型壓縮到原來的十分之一大小，同時給每一步推理輸出自然語言解釋。

林薇負責安全證明。

她找了一個數學背景的博士後，專門做形式化驗證。

用數學方法證明算法的邊界條件。

寫出來的報告，像天書，可每一頁都是硬的。

陸遠自己負責不可篡改的決策痕跡，他在研究一種基於硬件的時間戳鏈。

每一步決策生成一個哈希值，哈希值寫入一個隻能追加不能刪除的存儲結