Skip to published state

Erdős problem / erdos

open offer

Problem 699

Exact records and bounded producer offers matched to this problem.

Current bounded offer

rank 20
availableerdos:699
Erdős 699
Advance Erdős problem 699 from its pinned statement, theorem and proof records, attempts, residual obligations, dependency context, and source locks; produce one decision-relevant artifact or an informative negative result without repeating banked routes.
  1. erdos:699
  2. site/problems/699.json
  3. erdos-frontier.problem-work.v1
Exact offer contractPacket, root, and verifier profile
erdos-frontier.problem-work.v1
site/problems/699.json
sha256:8107373550763634f38653683d77ed9295348d434beb89751a82b293e7439340

Matching finding records

1 records
  1. vf_ae99baa64c32d48a

    theoretical

    Erdős Problem #699 [status: falsifiable; formalized: yes]. Is it true that for every 1i<jn/21\leq i<j\leq n/2 there exists some prime pip\geq i such thatpgcd((ni),(nj))?p\mid \textrm{gcd}\left(\binom{n}{i}, \binom{n}{j}\right)? Current best: A theorem of Sylvester and Schur says that for any 1in/21\leq i\leq n/2 there exists some prime p>ip>i which divides (ni)\binom{n}{i}. Erd\H{o}s and Szekeres further conjectured that pip\geq i can be improved to p>ip>i except in a few special cases. They also found some counterexamples when i=3i=3, but only one counterexample when i4i\geq 4:gcd((285),(2814))=23335.\textrm{gcd}\left(\binom{28}{5},\binom{28}{14}\right)=2^3\cdot 3^3\cdot 5.This is mentioned in problem B31 of Guy's collection [Gu04]. Prize: no. Tags: binomial coefficients, number theory.

    recordedOpen record