介绍拉格朗日的工程更新！ 您获取拉格朗日研究、开发和工程最新动态的首选资源 👨‍🔬 七月标志着DeepProve的突破，证明了OpenAI的GPT-2是第一个可以加密证明整个大型语言模型的生产就绪系统：

在金融领域，毫秒意味着数百万。 基于AI的模型被用来标记交易。但如果模型出错——或者更糟的是，被操纵——那么财务损失可能是无法挽回的。 DeepProve确保信号是准确的、经过授权的和可验证的。

DeepProve 的路线图描绘了一条通向加密安全和透明 AI 的道路。 一个关键的构建模块：在多个利益相关者之间实现隐私保护和可验证的训练。 让我们深入探讨训练证明。🧵

你会信任AI使用手术刀吗？那推土机呢？你会信任它管理一个价值100亿美元的投资组合或整个宇宙吗？ AI不需要信任。它需要验证。 AI需要DeepProve。

突发消息：我们现在可以证明人工智能是正确的。 DeepProve-1 是第一个可生产的 zkML 系统，能够加密验证完整的 LLM 推理。 Lagrange 成功证明了 OpenAI 的 GPT-2 的推理，将可验证的人工智能从理论转向生产：🧵

以前，证明系统是僵化的——一个小的变化意味着要从头开始 拉格朗日研究团队开发了动态SNARKs来解决这个问题 现在，证明可以随着新数据的变化而演变，无需不必要的重新计算。

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

DeepProve 的路线图描绘了一条通向加密安全和透明 AI 的道路。 一个前沿问题探讨了伦理 AI 的核心问题：你能证明你的模型对每个人都公平对待吗——而不透露它是如何工作的？ 让我们来探讨公平性证明。🧵

医院已经在使用人工智能来帮助计算药物剂量。 但如果使用了错误的人工智能模型或结论不准确，后果可能会改变生命。 这就是为什么医疗保健需要 𝘃𝗲𝗿𝗶𝗳𝗶𝗮𝗯𝗹𝗲 𝗔𝗜；这就是为什么医疗保健需要 DeepProve 🧵

拉格朗日很荣幸能入选未来 50 强——一份由 200+ 顶级风险投资公司选出的公司名单，因为它们在扩大、主导和重塑行业方面具有巨大的潜力。 这不是吹牛的权利，而是一个信号。 可验证的人工智能是不可避免的，我们正在引领潮流：