“隐私优先的AI”只是故事的一半。 另一半是可证明的执行: – 运行了什么模型? – 输入了什么? – 输出了什么? 可验证的推理是可信AI系统缺失的一层。