Historias de la IA: ¿Será Lean el Katz 2.0 de la IA?
En estos momentos en los que la IA está probando resultados matemáticos de gran recorrido y relevancia, conviene recordar un aspecto clave en una demostración matemática: la comprobación de que es correcta. Recordemos lo que ocurrió con una de las…