Erdős Problem #684
Erdős problem #684 · erdosproblems.com/684
For the least at which the small-prime part of exceeds , how large can be?
- Result
- Proved
- Status
- Retracted
- AI contribution
- —
- Method
- Argument
- Field
- Number Theory, Binomial Coefficients
- Posed by
- —
- Year posed
- —
- Years open
- —
- Solved
- 2026-07-25
- Model
- Model not publicly disclosed
- Vendor
- —
- Collaborators
- —
- Verification
- Contested
- Publication
- Announced
- Significance
- 10 / 100
- Disclosed cost
- —
- Wikipedia
- No dedicated article
Verification
Key lemma refuted by a checked counterexample; see the claim issue.
Claim issue
A preprint claimed , but a deterministic audit later found a counterexample to its key Lemma 18. The stated conclusion is not established and the problem remains open.