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
- TRL adds Score Centering, a simple fix for RLHF training instability — lvwerra · 2026-10-27
- Precompute golden answers and match at runtime for exact wording control — colinmcnamara · 2026-10-27
- Dev argues there's still alpha in working with your coding agent interactively — alex_frantic · 2026-10-27
- Researchers launch AMA on patterns for safer AI agents used by citizen developers — Loose_Rip359 · 2026-10-27
- Gradio Adds In-Chat Human-in-the-Loop So ML Intern Pauses Before Training — Gradio · 2026-10-27
- Building Halo Infinite Forge maps with local LLMs, DCjson and Blender MCP — swagonflyyyy · 2026-10-27