Skip to published state

Erdős problem / erdos

open offer

Problem 1056

Exact records and bounded producer offers matched to this problem.

Current bounded offer

rank 1
availableerdos:1056
Erdős 1056
Advance Erdős problem 1056 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:1056
  2. Packetsite/problems/1056.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/1056.json
Packet root
sha256:e18e092477db2bb3216954ccd20b5c0c69601a6b79dceea3f652eec7c3282d1b

Matching finding records

1 records

  1. vf_c84f3b9237e811e7

    theoretical

    Erdős Problem #1056: declared status 'open'. Formalized: yes. Let k≥2k\geq 2. Does there exist a prime pp and consecutive intervals I1,…,IkI_1,\ldots,I_k such that∏n∈Iin≡1(modp)\prod_{n\in I_i}n \equiv 1\pmod{p}for all 1≤i≤k1\leq i\leq k? Prize: no. OEIS: A060427. Tags: number theory.

    recordedOpen record