بالنسبة لأولئك الذين يتساءلون ، كانت الذكاء الاصطناعي المعنية نسخة تجريبية من أرسطو من عام @HarmonicMath. كانت النظرية نتيجة الميل الأخير حول مجاميع السلاسل ، اللازمة للتحقق من خوارزمية للحوسبة العلمية ، في مدقق خاص بالمجال تم إنشاؤه بواسطة فريق البحث الخاص بي في Lean.