اليوم لدينا جهد حول الذكاء الاصطناعي وإثبات النظرية الآلية (وبعض المشاريع الرائعة!)