Knuth, aksakların ne yazık ki vibemathing dediği çok havalı bir yapay zeka kullanımını vurgulayan bir makale yayınladı. Bu, "vibe-" herhangi bir şeyin tam tersi: Olan şu ki, Filip Stappers Claude'a çok sıkı, kendini yansıtan bir döngüyle sorunu vermişti: ** HER exploreXX py çalıştırmasından sonra bu dosyayı HEMEN güncelleyin [plan md] başka bir şey yapmadan önce. ** İstisna yok. Bir sonraki keşfe başlama önceki belge burada belgelenene kadar. Ve sonra 31 döngünün her birini titizlikle doğruladılar. Ve başarılı görünen son döngüden sonra, Knuth sonuçları tamamen doğrulamak için gerçek bir resmi ispat teoremi yazdı. Bu, elektrikli aletlerle ilgili gerçek bir matematik, gerçekten harika! Bence resmi kanıt araştırmalarının (haha, anladım) halüsinasyon makineleri çağında çok önemli olduğunu kanıtlayacağını söylemek oldukça güvenli bir şey.