Neural Network Uses Program Synthesis to Solve University Level Math | Hacker News Reader