Prompting plus Codex workflow helps solve six Erdős problems in a week
schwentker · x · 2026-07-24
Dan Robinson says the models are getting increasingly good at Erdős problems, but one expert, @Qiaoqiao2001, showed exceptional prompting skill.
- OpenAI sponsored him to test how far he could go.
- He solved six Erdős problems in one week, including one previously studied by Terence Tao.
- In his own thread, he says he used GPT-5.6 Sol through a Codex workflow and that the approach did not require deep mathematical knowledge.
- He also shared the exact prompting process he used.
Related event: Researcher Solves 6 Erdős Problems in 5 Days Using GPT-5.6 Sol(6 posts)→
More from coding & agent
- AIE Code Summit 2026 opens applications: 800 seats, keynotes streamed free — trq212 · 2026-10-27
- 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