After 20 years, math couple solves major group theory problem | Heykuki News