Boletim Diário de IADiário de IA – 2025-05-02(Tarde)Agente de IA inteligenteAgente de programação de IAAlucinação de rankingCapacidade de raciocínio de modelos pequenosChatBot ArenaClaude IntegrationsDeepSeek-Prover-V2GeminiIntegração de aplicativos de terceirosParakeet-TDT-0.6B-v2Phi-4-raciocínioProva de teoremas matemáticosQwen3