A new proof resolves Zimmer’s conjecture, which has to do with what symmetries can exist in geometric spaces.