A small team of researchers has proven Zimmer's conjecture