After 20 years, math couple solves major group theory problem 437 points by isaacfrond 1 days ago 121 comments story