An AI agent for open mathematical problems — honest by design.
Found on Devadex — the discovery index for independent software the big search engines bury. More from github.
Report this listing