蒋旭负责可解释推理。

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

林薇负责安全证明。

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

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

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

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