En términos más precisos, se pide demostrar que para todo grupo simple compacto G, hay una Teoría de Yang-Mills en R4 que tiene a ese grupo como grupo gauge y que además, esa teoría tiene una "brecha de masa" (mass gap).