هل تحتاج استدلالات الذكاء الاصطناعي إلى إثباتات المعرفة الصفرية؟ معظم الحلول الحالية تتطلب حسابات مكلفة جداً. لكن مؤخراً رأيت بروتوكول مثير للاهتمام، حيث أظهرت اختبارات الأداء أنه يمكنه العمل بكفاءة تزيد عن 90% على بطاقة H100 — ماذا يعني هذا؟ هذا يعني أن الاستدلال في الوقت الفعلي أصبح ممكناً، ولن يؤدي إلى انفجار فاتورة قدراتك الحاسوبية.

الأهم من ذلك، أن النتائج الصادرة يمكن التحقق منها. هذا مفيد جداً في الحالات التي تحتاج فيها لإثبات عملية حساب الذكاء الاصطناعي، لأنه بالنهاية لا أحد يريد تشغيل نموذج كصندوق أسود ويتمنى أن تكون النتائج صحيحة، صح؟