Journal d'IA Quotidien IA – 2025-08-05(Matin) AGIAnthropicBenchmark mathématique SeedProverContrôle vectoriel de personnalité IADeepMindFonction universelle λ-calculModèles vidéo IAPetits LLM open sourceRaisonnement mathématiqueRisques de l'IATencent HunyuanVidéo IA à expression émotionnelle