UnsolvedMath dataset v1.7 cleans up 6,000+ open math problems for LLMs
RexDouglass · x · 2026-09-17
UnsolvedMath, a dataset of open math problems for LLMs to solve, released v1.7. No new problems this time, but a complete cleanup of 6,000+ problems sourced from Oberwolfach workshops: better LaTeX, titles, and background checks. The project's forum also gained many new comments and partial solutions. Available on Hugging Face.
More from Research
- LeCun: Meta deprioritized exploratory research after Llama 4 disappointed — schwarzjn_ · 2026-09-17
- Thought experiment: a resurrected Galois proves the Riemann Hypothesis but no one can verify it — wellecks · 2026-09-17
- Thought experiment: resurrected Gauss, Euler and Riemann as mathematical tools — who controls access? — wellecks · 2026-09-17
- Philosopher Eric Schwitzgebel shares draft chapter defending AI rights — eschwitz · 2026-09-17
- Do reasoning models have systematicity of thought? New preprint investigates — LakeBrenden · 2026-09-17
- Human Hearing Atlas: 4.29M audiograms show hearing is a continuous 5D space — zakkohane · 2026-09-17