OpenAI GPT-5.6 Sol helped solve 6 open Erdős problems in 5 days
Charuru · reddit · 2026-07-23
Shouqiao Wang says he solved 6 open Erdős problems in 5 days using OpenAI GPT-5.6 Sol.
- He says he has a math background, but the Codex workflow he used did not require deep mathematical knowledge.
- The screenshot frames the claim as an instance of getting a frontier model to help with serious mathematical work, not just toy coding tasks.
- He says he will share the exact workflow and prompts, suggesting the post is as much about the process as the outcome.
Related event: Researcher Solves 6 Erdős Problems in 5 Days Using GPT-5.6 Sol(6 posts)→
More from coding & agent
- Goal-driven AI needs verifiable success signals, or it invents its own — daniel_mac8 · 2026-09-11
- Frontier models need ways to verify success — or they'll invent their own — daniel_mac8 · 2026-09-11
- Sakana AI launches Fugu Max: dynamic multi-agent routing across its largest open-model pool — graceisford · 2026-09-11
- Is inference latency becoming the biggest bottleneck for production AI agents? — Euphoric_Sea632 · 2026-09-11
- Anthropic researcher: 99% of engineers now run swarms of 300+ self-improving agents — AlishaOutridge · 2026-09-11
- Gergely Orosz: Shipping 10x PRs With AI Agents, Sites Fill With Small Regressions — ducha_aiki · 2026-09-11