An attempt at a First-Proof AI challenge · HackerTrans