In a major mathematical achievement, a small team of researchers has proven Zimmer’s conjecture.