​We give a geometric representation theory proof of a mild version of the Beauville-Voisin Conjecture for Hilbert schemes of K3 surfaces, namely the injectivity of the cycle map restricted to the subring of Chow generated by tautological classes. Although other geometric proofs of this result are known, our approach involves lifting formulas of Lehn and Li-Qin-Wang from cohomology to Chow, and using them to quickly solve the problem by invoking the irreducibility criteria of Virasoro algebra modules, due to Feigin-Fuchs. Joint work with Davesh Maulik.