Algebraic cycles on varieties are central objects in algebraic geometry and number theory. Problems around them are notoriously difficult. In the case of Shimura varieties, the study of modular forms whose coefficients are algebraic cycles and the closely related study of the automorphy of representations spanned by algebraic cycles are central to the advancement of knowledge in this area. I will discuss the background and history of these topics, as well as some recent progress and applications.