Skip to published state

Erdős problem / erdos

open offer

Problem 470

Exact records and bounded producer offers matched to this problem.

Current bounded offer

rank 12
availableerdos:470
Erdős 470
Advance Erdős problem 470 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:470
  2. Packetsite/problems/470.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/470.json
Packet root
sha256:2938439509a09eacb05c38b48dc5649048daceef5459bbd54b008b31effad79d

Matching finding records

1 records

  1. vf_7da9ce51890beecc

    theoretical

    Erdős Problem #470: declared status 'open'. Formalized: yes. Call nn weird if σ(n)≥2n\sigma(n)\geq 2n and nn is not pseudoperfect, that is, it is not the sum of any set of its divisors. Are there any odd weird numbers? Are there infinitely many primitive weird numbers, i.e. those such that no proper divisor of nn is weird? Prize: $10. OEIS: A002975, A006037. Tags: divisors, number theory.

    recordedOpen record