Boletim Diário de IADiário de IA – 2025-04-30(Tarde)Aplicativo independente do Meta AIAvaliação de IAComercialização de IADeepSeek-Prover-V2-671BÉtica em IAGPT-4oLlama 4Meta AIModelo de código aberto Qwen3Modelo de raciocínio matemático DeepSeekModelo de segurança Llama Guard 4Problema de comportamento adulador do GPT-4oQwen3