Previously: Hannah Cairo: 17-year-old teen refutes a math conjecture proposed 40 years ago (https://news.ycombinator.com/item?id=44481441)