A 17-year-old teen refutes a mathematical conjecture proposed 40 years ago