Modular forms are one of the most beautiful and mysterious objects in mathematics. What are they?