Knuth släppte en artikel som lyfter fram en väldigt häftig AI-användning som vanliga människor tyvärr kallar vibemathing. Det är motsatsen till "vibe-" vad som helst: Det som hände var att Filip Stappers gav problemet till Claude med en mycket tajt självreflekterande loop, ordagrant: ** Efter VARJE exploreXX py-run, uppdatera OMEDELBART denna fil [plan md] innan han gör något annat. ** Inga undantag. Börja inte nästa utforskning tills den föregående dokumenteras här. Och sedan verifierade de noggrant var och en av 31 loopar. Och efter den sista loopen, som verkade lyckad, skrev Knuth en faktisk formell bevissats för att fullt ut verifiera resultaten. Det här är riktig matematik med elverktyg som är superhäftig! Jag tror det är ganska säkert att säga att formell bevisforskning kommer att visa sig (haha, förstått) vara mycket viktig i en tid då hallucinationerande maskiner hade.