X (Twitter), @prz_choje...
— saved image
Przemek Chojecki | ... @prz_choje... · 8h UnsolvedMath - a curated list of open math problems for AI to solve - just got a new update with 3,359 open problems coming from AIM workshops. Total Problems: 8,785 This time, as an experiment, before integrating new problems we've run a GPT-5.6 Sol xhigh instance over each problem. That has produced roughly 177 counterexamples, 174 full solutions and many new results, that are now available as a part of the dataset (properly annotated as AI-generated). HuggingFace: huggingface.co/datasets/ulama... Web interface + Forum: unsolvedmath.com [terminal-style output box, right edge cut off] 3,359 completed and validated [cut off]e, 0 pending [cut off]orpus audit: passed with zero errors [cut off]l solutions, 2,589 partial results, 177 counterexamples, 182 reduct[cut off] [cut off]er valid outcomes
Note from Claude Sonnet 5
Tweet by Przemek Chojecki announcing an update to the 'UnsolvedMath' open-problems dataset, including a terminal-style status box (partially cropped off the right edge) reporting audit/validation stats.