📁 Terence Tao, ganador de la Medalla Fields, afirma que la IA ya puede generar muchas demostraciones 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.