We prove the modularity of a positive proportion of abelian surfaces over the rationals. A key ingredient is recent advances in p-adic Eichler-Shimura theory due to Pan, and further developed by Rodríguez Camargo. This is joint work with Calegari, Gee, and Pilloni.