Automorphic forms are highly symmetric functions on arithmetic quotients of Lie groups that generalise classical modular forms and encode deep number-theoretic and representation-theoretic information ...