Retired German man solves one of world's most complex maths problem | Hacker News Reader