Knuth julkaisi artikkelin, joka korostaa erittäin siistiä tekoälyn käyttöä, jota hullut valitettavasti kutsuvat vibraationiksi. Se on päinvastaista kuin mikään "vibe-" -ilmiö: Tapahtui niin, että Filip Stappers antoi ongelman Claudelle hyvin tiukalla, itseään heijastavalla silmukalla, sanasta sanaan: ** JOKAISEN exploreXX py-suorituksen jälkeen päivitä tämä tiedosto VÄLITTÖMÄSTI [plan md] ennen kuin teet mitään muuta. ** Ei poikkeuksia. Älä aloita seuraavaa tutkimusmatkaa kunnes edellinen on dokumentoitu täällä. Ja sitten he tarkistivat huolellisesti jokaisen 31 silmukan. Ja viimeisen silmukan jälkeen, joka vaikutti onnistuneelta, Knuth kirjoitti varsinaisen muodollisen todistuslauseen varmistaakseen tulokset täysin. Tämä on todellista matematiikkaa sähkötyökalujen käytöstä, joka on todella siistiä! Uskon, että on melko turvallista sanoa, että muodollinen todistustutkimus osoittautuu (haha, ymmärretty) erittäin tärkeäksi hallusinaatioiden aikakaudella.