Knuth a publié un article qui met en avant une utilisation de l'IA très intéressante que les esprits moyens, malheureusement, appellent vibemathing. C'est l'opposé de "vibe-" quoi que ce soit : Ce qui s'est passé, c'est que Filip Stappers a donné le problème à Claude avec une boucle d'auto-réflexion très serrée, mot pour mot : ** Après CHAQUE exécution de exploreXX py, METTEZ IMMÉDIATEMENT à jour ce fichier [plan md] avant de faire quoi que ce soit d'autre. ** Pas d'exceptions. Ne commencez pas la prochaine exploration tant que la précédente n'est pas documentée ici. Et ensuite, ils ont méticuleusement vérifié chacune des 31 boucles. Et après la dernière boucle, qui semblait réussie, Knuth a écrit un véritable théorème de preuve formelle pour vérifier complètement les résultats. C'est de vraies mathématiques utilisant des outils puissants, c'est super cool ! Je pense qu'il est assez sûr de dire que la recherche de preuves formelles s'avérera (haha, je l'ai eu) très importante à l'ère des machines hallucination.