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