随着超级智能的不可避免，可验证性对于 AI 对齐至关重要。

@Ismael_H_R，@lagrangedev 的 CEO，发布了 DeepProve，他们的 zkML 库在 AI 证明生成方面比基线快 1000 倍。他们的技术可以在半秒内验证过去需要数小时才能完成的事情。

在 NVIDIA、Intel 和领先的密码学家的帮助下，DeepProve 现在向开发者开放，以探索可验证 AI 的未来。