An attempt at a First-Proof AI challenge | Hacker News Reader