Matroids are combinatorial devices designed to encoded the combinatorial structure of hyperplane arrangements. Combinatorialists have developed many invariants of matroids. I will explain that there is reason to believe that most of these invariants are related to computations in the K-theory of the Grassmannian. In particular, I will explain work of mine limiting the complexity of Hacking, Keel and Tevelev's "very stable pairs", which compactify the moduli of hyperplane arrangements. This talk should be understandable both to those who don't know matroids, and to those who don't know K-theory.