ulamai/UnsolvedMath
🌐 Browse UnsolvedMath online ✅ Paper: Open Mathematical Problems as an AI Reasoning Benchmark UnsolvedMath Dataset A comprehensive curated collection of 15,458 open, partially solved, and solved mathematics problems across all domains and difficulty levels, including the largest collection of Erdős problems available in machine-readable format. Available for browsing at unsolvedmath.com. Paper: "Open Mathematical Problems as an AI Reasoning Benchmark" Dataset… See the full description on the dataset page: https://huggingface.co/datasets/ulamai/UnsolvedMath.
Integrate verified discussion 4 follow-ups 5–7
Classify the no-dense-prime counterexample as a qualified resolution
Integrate discussion #4 status corrections and references
Add files using upload-large-folder tool
Update README.md
Configure the Hugging Face dataset viewer
Release UnsolvedMath v1.6.0 with Oberwolfach Reports
Normalize v1.5 literature triage
Release v1.5.0 literature triage
Release UnsolvedMath v1.4.0
Release v1.3.0: audited AMR research metadata
Update AIM release note
Release UnsolvedMath v1.2
Restore dataset card links and headline
Release v1.1.0: add OpenGarden, Kirby, and Kourovka
Update README.md
Update README.md
Paper discussing UnsolvedMath and progress with SOTA models
Update README.md
Upload 6 files
initial commit