Show HN: Erdös Problem Solver Agent(github.com)
github.com
Show HN: Erdös Problem Solver Agent
https://github.com/demirbey05/erdos-problem-solver-cli
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.
1 comments
curious what class of erdos problems it solves specifically. is it finding erdos numbers for authors, or actually solving erdos-style mathematical conjectures