After 20 Years, Math Couple Solves Major Group Theory Problem | Quanta Magazine