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.
More from coding & agent
- Claude + Chromium + Playwright can now record demo videos automatically — yenkel · 2026-07-23
- Claude plus Chromium and Playwright MCP can now record demo videos for you — yenkel · 2026-07-23
- Frontend work with Claude Design and Claude Code is “actually so good” — trq212 · 2026-07-23
- Multiple LLMs on one project start treating collaboration structure as a core feature — repligate · 2026-07-23
- Blocks says its agent-friendly UI system is nearing real-time on-brand generation — round · 2026-07-23
- Codex needing iTunes access becomes the latest AI agent meme — KarelDoostrlnck · 2026-07-23