Notes for Deep Math paper | Hacker News Reader