60-year-old maths problem partly solved by amateur · HackerTrans