隨著超級智能的不可避免，可驗證性對於 AI 對齊至關重要。

@Ismael_H_R，@lagrangedev 的 CEO，推出了 DeepProve，他們的 zkML 庫在 AI 證明生成方面比基準快 1000 倍。 他們的技術可以在半秒內驗證過去需要數小時才能完成的事情。

在 NVIDIA、Intel 和領先的密碼學家的幫助下，DeepProve 現在開放給開發人員探索可驗證 AI 的未來。