“确保人工智能系统正确运行的唯一方法是通过加密安全 - 零知识证明在推理中的应用是可验证智能的基础。” - @Ismael_H_R，@lagrangedev 的创始人 在 @token2049 验证智能活动中，Ismael 详细讲解了 Lagrange 的 DeepProve 如何在不暴露模型权重、专有数据或输入的情况下，数学上证明模型的推理 - 生成输出的实际计算 - 是正确执行的。这将人工智能从基于信任转变为加密可验证的，正确性、隐私和公平性可以被证明，而不是被假设。 ZK 将人工智能带入与区块链曾经带给金融的同一范式转变：从信任机构转向信任数学。这是我们从“黑箱”人工智能转向可以独立验证的系统的方式 - 迈向安全、可审计自主性的关键一步。 观看与 @googlecloud 和 @boundless_xyz 合作的完整小组讨论，了解 Lagrange 和其他公司如何为下一代智能系统定义验证层：