Thread claims GPT-5.6 Sol helped solve 6 open Erdős problems in 5 days
jxnlco · x · 2026-07-23
A thread claims 6 open Erdős problems were solved in 5 days with GPT-5.6 Sol and a Codex workflow.
- The author says they have a math background, but the workflow itself did not require deep mathematical knowledge.
- The post promises a detailed prompt breakdown, making it a useful case study for how frontier models can be used in math-heavy problem solving.
Related event: GPT-5.6 Pro Claims Math Breakthroughs, But Faces Hallucination Backlash(11 posts)→
More from coding & agent
- AXL launches remote MCP server exposing 1,284 sales and marketing APIs to Claude and Codex — EdTech_Padre · 2026-10-27
- GitHub's Thomas Dohmke ships Entire, a Git forge built for agent-human collaboration — carrycooldude · 2026-10-27
- OmarchyTV hits GitHub: Omarchy-style TV launcher with AI TUI and MCP — alexcovo_eth · 2026-10-27
- AWS on agent prompt caching: explicit + implicit patterns to slash token costs — AWS ML Blog · 2026-10-27
- Reddit Thread: Keeping AI Agents Grounded in Current Project Information — Few-Ad-1358 · 2026-10-27
- He gave his AI agent a phone number and email — then hired it as social media manager — heyshrutimishra · 2026-10-27