Skip to published state

Erdős problem / erdos

open offer

Problem 463

Exact records and bounded producer offers matched to this problem.

Current bounded offer

rank 8
availableerdos:463
Erdős 463
Advance Erdős problem 463 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:463
  2. Packetsite/problems/463.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/463.json
Packet root
sha256:22cbdb9597615aaeee1f29089a954b35aeaff0f718698621349bfee025936bf0

Matching finding records

1 records

  1. vf_ea00108575691bbf

    theoretical

    Erdős Problem #463: declared status 'open'. Formalized: yes. Is there a function ff with f(n)→∞f(n)\to \infty as n→∞n\to \infty such that, for all large nn, there is a composite number mm such thatn+f(n)<m<n+p(m)?n+f(n)<m<n+p(m)?(Here p(m)p(m) is the least prime factor of mm.) Prize: no. Tags: number theory, primes.

    recordedOpen record