A researcher says GPT-5.6 Sol helped crack 6 Erdős problems in 5 days
rohanpaul_ai · x · 2026-07-23
One researcher says GPT-5.6 Sol helped solve 6 open Erdős problems in 5 days
A quoted post claims a single researcher solved 6 open Erdős problems in 5 days using GPT-5.6 Sol.
He reportedly tried 13 problems in total, for a success rate of about 46%. The key takeaway is not just model output, but the prompting style:
- The prompt was written like a contract, not a question.
- It restated the problem and defined what a valid proof must establish.
- It listed weaker results that would not count, to block near-misses.
- It also instructed the model to explore multiple avenues in parallel, keep incompatible hypotheses alive, and actively search for counterexamples to its own lemmas.
The post frames this as a lesson in how to steer a model toward proof search rather than a simple answer.
Related event: Researcher Solves 6 Erdős Problems in 5 Days Using GPT-5.6 Sol(6 posts)→
More from AGI Musings
- Instinct launches agent-to-agent protocol to coordinate your plans, sparking 'friction is the point' backlash — itsOmSarraf_ · 2026-09-11
- We are witnessing the unreasonable effectiveness of inference-time scaling — sqcai · 2026-09-11
- Accelerationist fires back at AI doomers: beliefs aren't arguments — Dan_Jeffries1 · 2026-09-11
- "ChatGPT 6 Makes Workers with IQ Below 130 Useless": French AI Debate Sparks Backlash — mitchdeg · 2026-09-11
- 'AGI is here' vs reality: AI labs still ship some of the jankiest desktop apps ever — MilesCranmer · 2026-09-11
- Harry Collins: LLMs can't do frontier science because they can't invent new language — whoamisri · 2026-09-11