Knuth publicó un artículo que destaca un uso muy interesante de la IA que, por desgracia, los periodistas llaman vibemathing. Es lo opuesto a cualquier cosa de "vibe-": Lo que pasó es que Filip Stappers le dio el problema a Claude con un bucle de autorreflexión muy ajustado, palabra por palabra: ** Después de CADA expedición exploreXX, actualiza INMEDIATAMENTE este archivo [plan md] antes de hacer cualquier otra cosa. ** Sin excepciones. No empieces la siguiente exploración hasta que la anterior está documentada aquí. Y luego verificaron meticulosamente cada uno de los 31 bucles. Y tras el bucle final, que parecía exitoso, Knuth escribió un teorema formal de demostración para verificar completamente los resultados. ¡Esto es matemática real usando herramientas eléctricas, que es súper genial! Creo que es bastante seguro decir que la investigación formal de pruebas demostrará (jaja, ya lo tengo) como muy importante en la era de las máquinas alucinantes.