A structured, machine-readable dataset of unsolved problems in mathematics,
theoretical computer science, and mathematical physics.
Existing math benchmarks (MATH, GSM8K, MiniF2F) contain solved problems.
This dataset contains unsolved problems -- the frontier of human knowledge.
Use it to:
Benchmark AI theorem proving systems on problems with unknown answers
Train models to understand the structure of open… See the full description on the dataset page:
https://huggingface.co/datasets/Tommysha/open-problem-atlas.