Knuth menjatuhkan makalah yang menyoroti penggunaan AI yang sangat keren yang sayangnya disebut getaran. Ini kebalikan dari "getaran-" apa pun: Apa yang terjadi adalah Filip Stappers memberikan masalah kepada Claude dengan lingkaran refleksi diri yang sangat ketat, kata demi kata: ** Setelah SETIAP explorXX py run, SEGERA perbarui file ini [rencana md] sebelum melakukan hal lain. ** Tidak ada pengecualian. Jangan memulai eksplorasi berikutnya sampai yang sebelumnya didokumentasikan di sini. Dan kemudian mereka dengan cermat memverifikasi masing-masing dari 31 loop. Dan setelah putaran terakhir, yang tampaknya berhasil, Knuth menulis teorema pembuktian formal yang sebenarnya untuk memverifikasi hasil sepenuhnya. Ini adalah matematika nyata dengan menggunakan perkakas listrik yang sangat keren! Saya pikir cukup aman untuk mengatakan bahwa penelitian bukti formal akan membuktikan (haha mengerti) sangat penting di era mesin halusinasi.