OpenAI Codex reportedly solved 6 open Erdős problems in 5 days
FinanceYF5 · x · 2026-07-26
Shouqiao Wang used OpenAI GPT-5.6 Sol inside Codex and claims he solved 6 open Erdős problems in 5 days.
He says the workflow did not require deep math expertise, and the thread walks through the exact process and prompts used.
More from coding & agent
- CREAO schedules a July 30 panel on getting AI from demo to production — thetripathi58 · 2026-07-26
- An AI agent clears Slay the Spire 2 on Ascension 8 and opens its harness and trajectories — bdsqlsz · 2026-07-26
- MemGym benchmarks long-horizon memory for LLM agents across coding and web tasks — dhruv2038 · 2026-07-26
- Developer says $5 a month bought 339.8 hours of agent sandbox compute — aniketmaurya · 2026-07-26
- The loop makes the model attack its own proof until no flaw remains — FinanceYF5 · 2026-07-26
- Codex ran for up to 32 hours on some of the math problems — FinanceYF5 · 2026-07-26