نشر كنوت ورقة تركز على استخدام ذكاء اصطناعي رائع يسميه الوسطاء، للأسف، بأنه "طاقة مميزة". إنه عكس "الإحساس" بأي شيء: ما حدث هو أن فيليب ستابرز أعطى المسألة لكلود بحلقة ضيقة جدا وتعكس ذاتها، حرفيا: ** بعد كل تشغيل ل exploreXX py، قم بتحديث هذا الملف فورا [خطة MD] قبل أن يفعل أي شيء آخر. ** لا استثناءات. لا تبدأ الاستكشاف القادم حتى يتم توثيق السابقة هنا. ثم قاموا بالتحقق بدقة من كل حلقة من ال 31. وبعد الحلقة النهائية، التي بدت ناجحة، كتب كنوت نظرية برهان رسمية فعلية للتحقق الكامل من النتائج. هذه هي الرياضيات الحقيقية مع استخدام الأدوات الكهربائية وهذا رائع جدا! أعتقد أنه من الآمن القول إن البحث الرسمي في الأدلة سيثبت (هاها فهمت) أنه مهم جدا في عصر آلات الهلوسة.