Diario de IA Diario de IA – 2025-08-05(Edición matutina) AGIAnthropicBenchmark matemático SeedProverControl de vectores de personalidad en IADeepMindFunción universal λ-cálculoModelos de video con IAPequeños modelos de lenguaje abiertos (LLM)razonamiento matemáticoRiesgos de la IATencent HunyuanVideos con IA para expresión emocional