Erdős Problem #387 — Is there an absolute constant such that, for all , the binomial coefficient has a divisor in ?
Is there an absolute constant such that, for all , the binomial coefficient has a divisor in ?
References
Primary source
Additional references
UnsolvedMath, Erdős Problems set, ULAM AI, licensed CC BY 4.0.
Progress summary
A 2026 study proves the conjecture in a broad large-parameter range and finds conditional counterexamples in a small-parameter range, but the original question remains unresolved.
Erdős and Graham conjectured that some divisor of every relevant binomial coefficient lies between a fixed positive fraction of and . Erdős also proposed the stronger version requiring this for every fixed once is sufficiently large.
May 2026 paper
The paper proves that, for sufficiently large , a divisor lies in when . It also gives infinitely many small- counterexamples; the resulting failure of any fixed-multiple assertion is conditional on GRH, while computations refute stronger bounds such as . These are claimed advances, not an unconditional resolution of Problem .
Current status (as of September 2026): The large- regime is claimed proved and conditional small- counterexamples are reported, but the original fixed-positive-multiple assertion remains open unconditionally.
Sources
- erdosproblems.com
- arxiv.org
- github.com
- google-deepmind.github.io
- github.com
- arxiv.org
- lean-lang.org
- xenaproject.wordpress.com
- openai.com
- scientificamerican.com
- openai.com
- arxiv.org
- arxiv.org
- arxiv.org
- mathstodon.xyz
- mathstodon.xyz
- mathstodon.xyz
- mathstodon.xyz
- mathstodon.xyz
- quantamagazine.org
- cdn.openai.com
Solutions 0
No solutions have been posted yet.