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 Using GPT-5.6(3 posts)→
More from coding & agent
- Seeking real AI agent use cases in finance/accounting: beyond pipeline patterns — SuckinOnPickleDogs · 2026-07-24
- A warranty-queue benchmark tests agents on a realistic HVAC workflow — srush_nlp · 2026-07-24
- Luke Wroblewski says agentic software should summarize work, not expose every step — LukeW · 2026-07-24
- Databricks Genie runs as an MCP server inside LangGraph, then ships to Azure ML — Cautious-Meringue554 · 2026-07-24
- PenguinHarness open-sources a TypeScript agent builder that claims $0.02 RAG apps — RepulsiveBad8681 · 2026-07-24
- MCPForge scores public MCP servers on security, compliance, and quality — Competitive_Ad_1228 · 2026-07-24