速報: AI が正しいことを証明できるようになりました。 DeepProve-1 は、完全な LLM 推論を暗号的に検証する最初の本番環境対応の zkML システムです。 ラグランジュは、OpenAI の GPT-2 の推論を実証することに成功し、検証可能な AI を理論から本番環境へと移行しました。 🧵
203.82K