Amateurs Just Solved a 30-Year-Old Math Problem