Erdős Problem #1186
Erdős problem #1186 · erdosproblems.com/1186
What is the minimum asymptotic density of monochromatic -term arithmetic progressions in every two-colouring of ? The exact certificate gives , matching the known 548-bead colouring.
- Result
- Proved(see note)
- Status
- Partial result
- AI contribution
- AI-discovered
- Method
- Argument
- Field
- Arithmetic Ramsey Theory
- Posed by
- —
- Year posed
- —
- Years open
- —
- Solved
- 2026-07-13
- Model
- GPT-5.6 Star Fleet (Claude Fable 5 referee)
- Vendor
- OpenAI / Anthropic
- Collaborators
- —
- Verification
- Unreviewed
- Publication
- Announced
- Significance
- 10 / 100
- Disclosed cost
- —
- Wikipedia
- No dedicated article
What was actually shown
exact k = 3 constant established, settling the Parrilo-Robertson-Saracino conjecture for 3-APs; general k remains open
Verification
Dual exact checkers plus a partial Lean formalization; community status pending.