Thread claims GPT-5.6 Sol helped solve 6 open Erdős problems in 5 days
jxnlco · x · 2026-07-23
A thread claims 6 open Erdős problems were solved in 5 days with GPT-5.6 Sol and a Codex workflow.
- The author says they have a math background, but the workflow itself did not require deep mathematical knowledge.
- The post promises a detailed prompt breakdown, making it a useful case study for how frontier models can be used in math-heavy problem solving.
Related event: GPT-5.6 Pro Claims Math Breakthroughs, But Faces Hallucination Backlash(11 posts)→
More from coding & agent
- The browser main thread is expensive: a practical guide to JavaScript and CSS animation cost — jh3yy · 2026-09-11
- Inspired by OpenAI's 10,000-agent run, dev open-sources a crowdsourced agent problem-solving platform — Benjaminsen · 2026-09-11
- Lucid: open-source Mac app keeps your laptop awake only while AI agents run — Pitiful_Hedgehog_600 · 2026-09-11
- banteg's snail project crowdsources AI agents to finish matching Snail Mail's 20 remaining functions — banteg · 2026-09-11
- Alex Townsend posts 200 open problems in numerical linear algebra for humans and AI agents — IgorCarron · 2026-09-11
- Kimi K2.8 Preview rolls out: near-K3 coding performance, 1M context for all tiers — teortaxesTex · 2026-09-11