GPT-5.2 Extended Thinking · UnsolvedMath · Literature search · Ulam · January 31, 2026 research assessment ↗
3 more reported results
3.5 / 5 · GPT-5.2 Extended Thinking · UnsolvedMath · Theorem proving · Ulam · January 31, 2026 research assessment · Open Mathematical Problems as an AI Reasoning Benchmark ↗
2 / 5 · GPT-5.2 Extended Thinking · UnsolvedMath · Proof checking · Ulam · January 31, 2026 research assessment · Open Mathematical Problems as an AI Reasoning Benchmark ↗
0 / 1 · GPT-5.2 Extended Thinking · UnsolvedMath · Formalization · Ulam · January 31, 2026 research assessment · Open Mathematical Problems as an AI Reasoning Benchmark ↗