User says GPT-5.6 Sol helped solve 6 open Erdős problems in 5 days
arampell · x · 2026-07-24
A user says they solved 6 open Erdős problems in 5 days using OpenAI GPT-5.6 Sol.
Key claim
- The author has a math background, but says the Codex workflow they used does not require deep mathematical knowledge
- They promise to share the exact prompts and approach in a thread
The post is framed around a broader idea: humans may increasingly focus on asking the right questions rather than finding every answer themselves.
Related event: Researcher Solves Six Erdős Problems in Five Days with GPT-5.6 Sol(5 posts)→
More from Apps
- Claude voice mode can now reschedule meetings and write Notion docs — HaktanSuren · 2026-07-24
- Dog training team tries to standardize client notes with Plaud summaries — Fast_Plum6686 · 2026-07-24
- Browser-based agent targets login-walled enrichment and lead outreach — BodybuilderLost328 · 2026-07-24
- Codex Voice draws early interest, but its thinking bar still feels rough — Angaisb_ · 2026-07-24
- YC talks to Dust founder Stanislas Polu about building AI teammates across companies — ycombinator · 2026-07-24
- AI game-playing feature adds constrained controls and observation-only mode — ezshine · 2026-07-24