OpenAI acaba de publicar 722 manuscritos matemáticos que afirman que un modelo secreto los resolvió con una sola instrucción. Mientras la ola de entusiasmo avanza a toda velocidad, los matemáticos de verdad exigen pruebas, no solo publicaciones llamativas en blogs. Esto pone de relieve un dilema clásico de la IA: avances increíbles frente a la falta de verificación transparente. Si es cierto, la demostración automatizada de teoremas pronto podría potenciar enormemente la criptografía y la verificación de contratos inteligentes. Pero hasta que el código sin procesar y las pruebas sean públicos, mantendré mi escepticismo al máximo. $FET $AGIX #OpenAI #ArtificialIntelligence #SeguridadCripto