ربما كان يجب أن أعطي هذا عنوانا أكثر جاذبية للنقرات، مثل: لقد حللنا هلوسات الذكاء الاصطناعي!* * في السياق الضيق للتعلم العلمي ** باستخدام مجموعة من التحقق الرسمي، وإثبات النظريات الآلي، ونظرية الفئات التطبيقية