突發消息：我們現在可以證明人工智慧是正確的。 DeepProve-1 是第一個可生產的 zkML 系統，能夠加密驗證完整的 LLM 推理。 Lagrange 成功證明了 OpenAI 的 GPT-2 的推理，將可驗證的人工智慧從理論轉向生產：🧵

以前，證明系統是僵化的——一個小的變化意味著要從頭開始 拉格朗日研究團隊開發了動態SNARKs來解決這個問題 現在，證明可以隨著新數據的變化而演變，無需不必要的重新計算。

Lagrange 正在与 @mira_network 合作，建立去中心化 AI 的信任层。 通过 DeepProve，Mira 的验证者网络将为每个模型推理获得加密证明——增强可靠性、隐私性和可组合性。 以下是回顾：🧵

DeepProve 的路線圖描繪了一條通向加密安全和透明 AI 的道路。 一個前沿問題探討了倫理 AI 的核心問題：你能證明你的模型對每個人都公平對待嗎——而不透露它是如何工作的？ 讓我們來探討公平性證明。🧵

醫院已經在使用人工智慧來幫助計算藥物劑量。 但如果使用了錯誤的人工智慧模型或結論不準確，後果可能會改變生命。 這就是為什麼醫療保健需要 𝘃𝗲𝗿𝗶𝗳𝗶𝗮𝗯𝗹𝗲 𝗔𝗜；這就是為什麼醫療保健需要 DeepProve 🧵

拉格朗日很榮幸能入選未來 50 強——一份由 200+ 頂級風險投資公司選出的公司名單，因為它們在擴大、主導和重塑行業方面具有巨大的潛力。 這不是吹牛的權利，而是一個信號。 可驗證的 AI 是不可避免的，我們正在引領潮流：

這就是另一場精彩的 SBC 的結束 🎬 我們很榮幸再次參與在密碼學、去中心化系統和現實世界影響交匯處的前沿研究。 即將在我們的 Youtube 上推出： 〰️ 動態 zk-SNARKs - Weijie Wang 博士，@Yale 〰️ GARUDA & PARI：通過等效多項式承諾實現更快、更小的 SNARKs - @alrshirzad 博士，@Penn

拉格朗日正在與 @hetu_protocol 合作，為人工智慧研究帶來加密信任。 借助 DeepProve，Hetu 上的每個數據集、模型更新和貢獻都是可驗證的——默認情況下被證明是正確的、歸屬的和防篡改的。 有關合作夥伴關係的更多信息： 🧵

AI 正在決定誰有資格獲得公共福利。 但是，如果使用了錯誤的模型，或者結果被操縱，人們可能會不公平地被拒絕獲得他們所需的支持。 DeepProve 使這些決策快速、準確且可證明。 了解更多：🧵

NVIDIA 建立了驅動 AI 的基礎設施。Lagrange 正在使這些 AI 可證明。 我們一起擴展 Lagrange 的 DeepProve——領先的 zkML 系統，用於證明 AI 推論——為每一個 AI 驅動的決策帶來加密保證。 安全的 AI 大規模 @NVIDIA: