Skip to published state

Erdős problem / erdos

open offer

Problem 931

Exact records and bounded producer offers matched to this problem.

Current bounded offer

rank 6
availableerdos:931
Erdős 931
Advance Erdős problem 931 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. Targeterdos:931
  2. Packetsite/problems/931.json
  3. Verifiererdos-frontier.problem-work.v1
Inspect ranked work
Exact offer contractPacket, root, and verifier profile
Verifier
erdos-frontier.problem-work.v1
Packet
site/problems/931.json
Packet root
sha256:fe7ca08c3ab715d7b9a90d1b3853ed652477880918ab8c9f1ff4260e2bb26a78

Matching finding records

1 records

  1. vf_d79c4920c36205d6

    theoretical

    Erdős Problem #931: declared status 'open'. Formalized: yes. Let k1≥k2≥3k_1\geq k_2\geq 3. Are there only finitely many n2≥n1+k1n_2\geq n_1+k_1 such that∏1≤i≤k1(n1+i) and ∏1≤j≤k2(n2+j)\prod_{1\leq i\leq k_1}(n_1+i)\textrm{ and }\prod_{1\leq j\leq k_2}(n_2+j)have the same prime factors? Prize: no. Tags: number theory.

    recordedOpen record