ulamai/UnsolvedMath
🌐 Browse UnsolvedMath online ✅ Paper: Open Mathematical Problems as an AI Reasoning Benchmark UnsolvedMath Dataset A comprehensive curated collection of 15,458 open and partially 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 Description… See the full description on the dataset page: https://huggingface.co/datasets/ulamai/UnsolvedMath.
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
