Erdős Problem #866
Erdős problem #866 · erdosproblems.com/866
Estimate the least excess forcing integers whose pairwise sums all lie in a dense subset of ; in particular, determine the positive variant .
- Result
- Proved(see note)
- Status
- Partial result
- AI contribution
- AI-discovered
- Method
- Argument
- Field
- Additive Combinatorics
- Posed by
- —
- Year posed
- —
- Years open
- —
- Solved
- 2026-07-08
- Model
- Demonstrandum multi-agent pipeline
- Vendor
- —
- Collaborators
- —
- Verification
- Lean-verified
- Publication
- Announced
- Significance
- 10 / 100
- Disclosed cost
- —
- Wikipedia
- No dedicated article
What was actually shown
h₄(n) = 4 for every n ≥ 331,777, with improved global bounds; the broader problem remains open
Verification
Headline theorems Lean-checked; 298 exact finite cells independently certified.