Hacker News new | ask | show | jobs
Show HN: Erdös Problem Solver Agent (github.com)
3 points by demirbey05 45 days ago
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