UnsolvedMath Dataset Updated to 8,785 Problems with AI-Generated Solutions
pbaylies · x · 2026-08-17
The UnsolvedMath dataset released a new update, expanding to 8,785 open mathematical problems with 3,359 new additions from AIM workshops. As an experiment, the team ran a GPT-5.6 Sol xhigh instance on the problems before integration, producing roughly 177 counterexamples and 174 full solutions. These AI-generated results are now included in the dataset with proper annotations. The collection aggregates problems from prestigious sources like the Millennium Prize Problems and Hilbert's 23 Problems, available on Hugging Face.
More from Research
- AI + Data Science: Moving towards real-time predictive insights — mdancho84 · 2026-08-17
- Recursive Self-Improvement Harder Than Estimated, Novel Ideas Rare — sarahcat21 · 2026-08-17
- Tiny reasoning model breaks cost-accuracy Pareto frontier on Arc-AGI — dank_philosopher · 2026-08-17
- Ben Recht Proposes "Microconferences" to Replace Mega Academic Meetings — beenwrekt · 2026-08-17
- hipocampus: drop-in 3-tier memory for AI agents, 21.6x over no memory — tom_doerr · 2026-08-17
- Visual guide: How AI text watermarking works by hiding in choices — ArtificialOther · 2026-08-17