Erdős problem 866
Estimate the least excess forcing integers whose pairwise sums all lie in a dense subset of ; in particular, determine the positive variant .
No current result
No reviewed Result is current in Vela Mathematics Program. Retained source material is shown below.
Proof manifests naming this Problem
- PLBY Lean proofs
ErdosProblems.Erdos866b
Reported activity
Work these sources record against this Problem. Source-reported attribution, not reviewed here.
AI collaborating with humans
- Machine
- People
Solved as stated, hidden constraints
argument
- Machine
- Reported outcome