Knuth publicó un artículo que destaca un uso de IA muy interesante que, desafortunadamente, los mediocres llaman vibemathing. Es lo opuesto de "vibe-" cualquier cosa: Lo que sucedió 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 ejecución de exploreXX py, ACTUALIZA INMEDIATAMENTE este archivo [plan md] antes de hacer cualquier otra cosa. ** Sin excepciones. No comiences la siguiente exploración hasta que la anterior esté documentada aquí. Y luego verificaron meticulosamente cada uno de los 31 bucles. Y después del bucle final, que parecía exitoso, Knuth escribió un teorema de prueba formal real para verificar completamente los resultados. ¡Esto es matemáticas reales utilizando herramientas potentes que son súper geniales! Creo que es bastante seguro decir que la investigación de pruebas formales demostrará (jaja, lo pillé) ser muy importante en la era de las máquinas alucinantes.