Show HN: Erdös Problem Solver Agent (opens in new tab)

I developed small cli agent for solving erdös problems. It's still immature but planning to add tools but before going into project I just wanted to measure impact by putting it HN. Open to feedback and suggestions.