超知能が不可避である今、AIアライメントには検証可能性が不可欠です。@lagrangedevのCEOである@Ismael_H_R氏が、AIの証明生成においてベースラインより1000倍高速なzkMLライブラリ、DeepProveを発表しました。彼らの技術は、これまで数時間かかっていた検証をわずか0.5秒で完了できます。NVIDIA、Intel、そして一流の暗号研究者の協力を得て構築されたDeepProveは、現在開発者が検証可能なAIの未来を探求するために公開されています。