Show HN: Erdös Problem Solver Agent

(github.com)

3 points | by demirbey05 9 hours ago ago

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