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