0bserver07/erdos-navigator

A toolkit for AI agents to explore and attempt Erdős's 1,17…