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
- LukeW: Technology Limits Are Temporary — and AI Skeptics Are Already Feeling It — LukeW · 2026-10-27
- GiveDirectly pilots an optional AI chatbot alongside cash aid in Rwanda — NathanpmYoung · 2026-10-27
- Ex-Anthropic employee essay: the org optimizes for power 'constrained by being seen as the good guys' — RichardMCNgo · 2026-10-27
- Investor: model version numbers are a mirage, only datacenter margins are real — StewartalsopIII · 2026-10-27
- WSJ Op-Ed: For Anthropic Share Offering Investors, a 10% Extinction Chance May Be a 90% Portfolio Win — davidmanheim · 2026-10-27
- WSJ: for Anthropic investors, a 10% extinction chance may still be a 90% portfolio win — peterwildeford · 2026-10-27