Unpublished proof four color theorem | Hacker News Reader