erdos-navigator. A toolkit for AI agents to explore and attempt Erdős's 1,179 unsolved mathematical problems

github.com/0bserver07/erdos-navigator

Vaya's read on this project

Problem, audience, market, and the verdict — sign in to see it.

Updates

No recent activity.