17-Year-Old Solves Three-Decade-Old Conjecture