Hugging Face models · September 2026
monthly · 30d window · Hugging Face models
All hugging face models editions →+853.9%
840 → 8,013 downloads
A curated collection of 15,458 open and partially solved mathematics problems spanning every domain and difficulty level, including what its authors describe as the largest assembled set of Erdős problems. It exists as training and evaluation material for mathematical reasoning models, where the scarce resource is not proofs but problems that are genuinely unsolved, since anything already answered risks sitting in the training data.
monthly · 30d window · Hugging Face models
All hugging face models editions →Get early signals on the websites, apps, repositories and startups gaining momentum. Join the list for Risefinder email briefings.
Be first to receive the briefing.