Diario de IADiario de IA – 2025-05-02(Tarde)Agente de IA inteligenteAgente de programación de IAAlucinación de rankingCapacidad de razonamiento de modelos pequeñosChatBot ArenaClaude IntegrationsDeepSeek-Prover-V2Demostración de teoremas matemáticosGeminiIntegración de aplicaciones de tercerosParakeet-TDT-0.6B-v2Phi-4-reasoning