📁 Terence Tao, ganador de la Medalla Fields, dice que la IA ya puede generar muchas pruebas matemáticas. El verdadero cuello de botella es la verificación. Crear ideas se está volviendo barato. Saber cuáles son realmente correctas sigue siendo trabajo humano.