17-year-old refutes a mathematical conjecture proposed 40 years ago | Dark Hacker News