60-year-old maths problem partly solved by amateur | Dark Hacker News