#零知识证明 هذا الخبر مثير للاهتمام بعض الشيء 🧐🧐 هل يمكن أن يكون النموذج المتطور الذي دُفعت مبالغ طائلة لاستخدامه قد استُبدل سرًا بنموذج رخيص في الخلفية؟ تريد Anthropic الآن الاستعانة بتقنيات عالم العملات الرقمية للتحقق من «أصالة النموذج» 🔍
نقلت FlashProve، التي أطلقتها Anthropic مؤخرًا كمشروع مفتوح المصدر، براهين المعرفة الصفرية الشائعة في البلوك تشين إلى استدلال الذكاء الاصطناعي.
ينشئ مزوّد الخدمة أولًا بصمة مشفّرة لأوزان النموذج، لتحديد النموذج الذي يستخدمه، ثم يرفق برهانًا رياضيًا مع كل مخرج. لا يحتاج المستخدم إلى الحصول على الأوزان أو إعادة تشغيل النموذج بنفسه، بل يمكنه التحقق مما إذا كان هذا المخرج صادرًا عن مجموعة الأوزان التي وُعد بها في البداية. ويُقال إن Claude نفسه شارك في تطوير هذا النظام وتحسينه.
لكن ما زال الطريق طويلًا قبل أن يصبح جاهزًا للاستخدام؛ إذ لا يمكن لبرهان واحد التحقق إلا من رمز إخراج واحد، ولا يمكنه التحقق من إجابة كاملة بعد. كما أن قدرة الحوسبة على وحدات معالجة الرسوميات اللازمة لإنشاء البرهان تفوق قدرة الاستدلال العادي بـ70 إلى 95 مرة. التحقق من حرف واحد أغلى بعشرات المرات من توليده، لذا لا أظن أن أي مزوّد خدمة سيقبل بالدفع هههه #Anthropic #AI
نقلت FlashProve، التي أطلقتها Anthropic مؤخرًا كمشروع مفتوح المصدر، براهين المعرفة الصفرية الشائعة في البلوك تشين إلى استدلال الذكاء الاصطناعي.
ينشئ مزوّد الخدمة أولًا بصمة مشفّرة لأوزان النموذج، لتحديد النموذج الذي يستخدمه، ثم يرفق برهانًا رياضيًا مع كل مخرج. لا يحتاج المستخدم إلى الحصول على الأوزان أو إعادة تشغيل النموذج بنفسه، بل يمكنه التحقق مما إذا كان هذا المخرج صادرًا عن مجموعة الأوزان التي وُعد بها في البداية. ويُقال إن Claude نفسه شارك في تطوير هذا النظام وتحسينه.
لكن ما زال الطريق طويلًا قبل أن يصبح جاهزًا للاستخدام؛ إذ لا يمكن لبرهان واحد التحقق إلا من رمز إخراج واحد، ولا يمكنه التحقق من إجابة كاملة بعد. كما أن قدرة الحوسبة على وحدات معالجة الرسوميات اللازمة لإنشاء البرهان تفوق قدرة الاستدلال العادي بـ70 إلى 95 مرة. التحقق من حرف واحد أغلى بعشرات المرات من توليده، لذا لا أظن أن أي مزوّد خدمة سيقبل بالدفع هههه #Anthropic #AI
