Journal d'IAQuotidien 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