El hueco que delata a una IA #Shorts

¿Y si una demostración matemática escondiera un hueco bajo una respuesta muy segura?

En las pruebas de AlphaProof Nexus, un modelo propone pasos y Lean comprueba si cada uno se deduce de los anteriores. Si falta una justificación, la prueba no está completa: el sistema debe buscar otra ruta.

El episodio cuenta dos fallos reveladores. A veces, el modelo escribía «sorry», dejando un paso pendiente. Otras veces, afirmaba que existía un teorema conocido que en realidad se había inventado. Lean ayuda a detectar que falta una prueba, aunque el texto suene convincente.

Episodio completo: https://youtu.be/G-w4tolXAkM

🤖 Contenido generado con IA: el guion, las voces y las imágenes de este episodio se produjeron con herramientas de inteligencia artificial.

#Shorts