Knuth heeft een paper gepubliceerd dat een zeer coole AI-toepassing benadrukt die midwits, helaas, vibemathing noemen. Het is het tegenovergestelde van "vibe-" iets: Wat er gebeurde is dat Filip Stappers het probleem aan Claude gaf met een zeer strakke zelfreflecterende lus, letterlijk: ** Na ELKE exploreXX py-run, IMMEDIATELY update dit bestand [plan md] voordat je iets anders doet. ** Geen uitzonderingen. Begin niet met de volgende verkenning totdat de vorige hier is gedocumenteerd. En toen hebben ze elke van de 31 lussen zorgvuldig geverifieerd. En na de laatste lus, die succesvol leek, schreef Knuth een echte formele bewijsstelling om de resultaten volledig te verifiëren. Dit is echte wiskunde met het gebruik van krachtige tools die super cool zijn! Ik denk dat het vrij veilig is om te zeggen dat formeel bewijs onderzoek (haha, got it) zeer belangrijk zal blijken te zijn in het tijdperk van hallucinaties van machines.