Knuth ha pubblicato un documento che evidenzia un utilizzo dell'AI molto interessante che i mediocri, sfortunatamente, chiamano vibemathing. È l'opposto di "vibe-" qualsiasi cosa: Ciò che è successo è che Filip Stappers ha dato il problema a Claude con un ciclo di auto-riflessione molto stretto, parola per parola: ** Dopo OGNI esecuzione di exploreXX py, AGGIORNARE IMMEDIATAMENTE questo file [plan md] prima di fare qualsiasi altra cosa. ** Nessuna eccezione. Non iniziare la prossima esplorazione fino a quando la precedente non è documentata qui. E poi hanno verificato meticolosamente ciascuno dei 31 cicli. E dopo l'ultimo ciclo, che sembrava riuscito, Knuth ha scritto un vero teorema di prova formale per verificare completamente i risultati. Questa è vera matematica con l'uso di strumenti potenti che è super cool! Penso sia abbastanza sicuro dire che la ricerca sulla prova formale si dimostrerà (haha, l'ho preso) molto importante nell'era delle macchine che allucinano.