UnsolvedMath Dataset Grows to 8,785 Problems, Features GPT-5.6 Generated Solutions

lhoestq · x · 2026-08-24

The UnsolvedMath dataset added 3,359 new open problems from AIM workshops, bringing the total to 8,785. In an experiment, GPT-5.6 was run on new problems before integration, producing roughly 177 counterexamples and 174 full solutions, which are now included with AI-generated annotations. The dataset aggregates problems from prestigious sources like Millennium Prize Problems and Hilbert's Problems.

Original post →

More from Research

Research channel →