كسر: يمكننا الآن إثبات صحة الذكاء الاصطناعي. DeepProve-1 هو أول نظام zkML جاهز للإنتاج للتحقق من استدلال LLM الكامل بشكل مشفر. أثبت Lagrange بنجاح استنتاج GPT-2 من OpenAI ، حيث نقل الذكاء الاصطناعي الذي يمكن التحقق منه من النظرية إلى الإنتاج: 🧵
‏‎203.81‏K