Journal d'IA Quotidien IA – 2025-08-01(Soir) Agent d'IAAGICadre CriticLeanFormalisation mathématiqueGPT-5Modèle Command A VisionModèle de monde 3DModèle de monde 3D Hunyuan 1.0Modèle Horizon AlphaModèle open sourceOpenAISoirée WAIC UP!Vulnérabilité des certificats X.509