A positive proportion of abelian surfaces are modular (live stream)