Boletim Diário de IA Diário de IA – 2025-08-05(Edição da manhã) AGIAnthropicBenchmark matemático SeedProverControle de vetor de personalidade de IADeepMindFunção universal λ-cálculoModelo de vídeo de IAPequenos LLMs de código abertoraciocínio matemáticoRiscos da IATencent HunyuanVídeo de IA com expressão emocional