Knuth zveřejnil článek, který zdůrazňuje velmi zajímavé využití AI, které bohužel midwici nazývají vibrací. Je to opak "atmosféry" čehokoliv: Stalo se to, že Filip Stappers dal problém Claudovi v velmi těsné smyčce sebereflexe, doslovně: ** Po KAŽDÉM exploreXX py běhu IHNED aktualizujte tento soubor [plán md] než uděláte cokoli jiného. ** Bez výjimek. Nezačínejte další průzkum dokud tu není zdokumentováno to předchozí. A pak pečlivě ověřili každou z 31 smyček. A po závěrečné smyčce, která se zdála být úspěšná, Knuth napsal skutečnou formální důkazovou větu, aby výsledky plně ověřil. Tohle je opravdová matematika s používáním elektrického nářadí, to je fakt super! Myslím, že je docela bezpečné říct, že formální výzkum důkazů bude (haha, chápu) velmi důležitý v době halucinačních strojů.