Knuth a lansat o lucrare care evidențiază o utilizare foarte interesantă a AI-ului pe care, din păcate, midwiții o numesc vibemathing. Este opusul oricărui "vibe-" orice: Ce s-a întâmplat este că Filip Stappers i-a dat problema lui Claude cu un cerc foarte strâns de auto-reflexivitate, cuvânt cu cuvânt: ** După FIECARE rundă exploreXX, actualizează IMEDIAT acest fișier [plan md] înainte să faci altceva. ** Fără excepții. Nu începe următoarea explorare până când precedentul este documentat aici. Apoi au verificat cu meticulozitate fiecare dintre cele 31 de bucle. Iar după ultima buclă, care părea reușită, Knuth a scris o teoremă formală de demonstrație pentru a verifica complet rezultatele. Asta e matematică reală cu folosirea uneltelor electrice, care e super tare! Cred că este destul de sigur să spunem că cercetarea formală a dovezilor va demonstra (haha, am înțeles) că este foarte importantă în epoca halucinațiilor mașinilor.