Кнут опублікував статтю, в якій підкреслюється дуже цікаве використання ШІ, яке, на жаль, середні розумники називають вібматиком. Це протилежність «вайб-» будь-чому: Що сталося так: Філіп Стапперс передав проблему Клоду з дуже щільним циклом саморефлексії, дослівно: ** Після КОЖНОГО запуску exploreXX py НЕГАЙНО оновити цей файл [plan md] перш ніж робити щось інше. ** Без винятків. Не починайте наступне дослідження поки попередня не буде задокументована тут. Потім ретельно перевірили кожен із 31 циклів. Після фінального циклу, який здавався успішним, Кнут написав реальну формальну теорему про доведення, щоб повністю перевірити результати. Це справжня математика з електроінструментами — це дуже круто! Думаю, можна з упевненістю сказати, що формальні дослідження доказів доведуть (ха-ха, зрозуміло) як дуже важливі в епоху галюцинаційних машин.