Boletim Diário de IADiário de IA – 2025-08-01(Edição da noite)Agente de IAAGIformalização matemáticaframework CriticLeanGPT-5modelo Command A VisionModelo de código abertomodelo de mundo 3Dmodelo de mundo 3D Hunyuan 1.0modelo Horizon AlphaNoite WAIC UP!OpenAIvulnerabilidade de certificado X.509
