Show HN: Erdös Problem Solver Agent · HackerTrans