JSTprove سيبدأ البث على الشبكة الرئيسية Subnet-2. بعد أسبوع من إثبات الاختبار الناجح، نحن الآن نتوسع إلى آلاف البراهين أسبوعيا ونفتح استنتاجات قابلة للتحقق لنماذج لم تكن ممكنة من قبل. هذه خطوة كبيرة في إثبات الاستدلال.