VibeMathedMath problems solved by AI
All problems

Erdős Problem #1186

Erdős problem #1186 · erdosproblems.com/1186

What is the minimum asymptotic density δk\delta_k of monochromatic kk-term arithmetic progressions in every two-colouring of {1,,n}\{1, \dots, n\}? The exact certificate gives δ3=117/2192\delta_3 = 117/2192, 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.

Source

erdosproblems.com/1186

Discussion