Show HN: Erdös Problem Solver Agent
github.comI 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.
1 thread
curious what class of erdos problems it solves specifically. is it finding erdos numbers for authors, or actually solving erdos-style mathematical conjectures