Skip to content

Erdős problem 321

Start work

What is the largest A⊆{1,…,N}A\subseteq\{1,\dots,N\} such that all subset sums ∑n∈S1/n\sum_{n\in S}1/n (over S⊆AS\subseteq A) are distinct?

How the state got here

5 of 6 recorded
  1. Prior stateAccepted, then corrected
  2. Worksubmission v3 migration · 1 evidence item
  3. Verification1 of 1 scoped check passed
  4. Decisionaccepted by Vela Mathematics Program
  5. StandingOpen in this repository
  6. Next gapNot recorded

Result history

Published changes, performers, checks, and later corrections.

1 event

Correction history

1 exact relation
correctsproduced the current Result

The corrected Result record is not retained in this release.

Exact identities
vcl_1da4282b752192c52c2a985476fc13bfe460da01e4fe26c5543b7acb37d8b120vcl_b9c6915de55e15c69d06b9aeed786b0e632986374a347d77ff447ad244f67a2e

How the frontier moved

Each state the accepted record passed through, with the evidence that carried it.

  1. Result accepted

    Accepted

    Evidence flow

    1. Submission receivedbasis: source-asserted
    2. Check passedclaim chain fidelitybasis: checked
    3. Decision appliedAI agent submission-v3-migrationbasis: repository decision
    4. Result acceptedbasis: derived from records
    Technical details
    Repository root before
    sha256:6da29efeedc34fb6e505c7546e894390418c807342940ecbf60cc025f99ddc1c
    Repository root after
    sha256:f231a54f1a82991a02685719158814d168e418fc2091ca299486fae13743901c
    Semantic delta
    sha256:1ceb781fd62d1a9317302b7f9301d955d397df78ddf00eff3551f4ca0628613a

    Events

    • vev_15632b53fb7fd674
    • vev_b1a3213862d0bd53

Still unresolved

  • A grouped formal statement may state a different theorem; equivalence not established.basis: heuristic advisory
    Exact identity
    source:vibemathed/vibemathed:erdos-321
  • A grouped formal statement may state a different theorem; equivalence not established.basis: heuristic advisory
    Exact identity
    source:formal-conjectures/Erdos321.erdos_321.variants.upper
  • A grouped formal statement may state a different theorem; equivalence not established.basis: heuristic advisory
    Exact identity
    source:formal-conjectures/Erdos321.erdos_321.variants.isBigO
  • A grouped formal statement may state a different theorem; equivalence not established.basis: heuristic advisory
    Exact identity
    source:formal-conjectures/Erdos321.erdos_321.variants.lower
  • This check does not establish: A proof, resolution, statement equivalence, fresh kernel execution, independent reproduction, acceptance, or Standing.basis: checked
    Exact identity
    vvr_bcfb5c7a0812619d
  • A grouped formal statement may state a different theorem; equivalence not established.basis: heuristic advisory
    Exact identity
    source:formal-conjectures/Erdos321.erdos_321.variants.isLittleO
Technical detailsExact roots, source, and retained record identifiers

Exact provenance

Problem row
sha256:4bdb22c30b0bc8ccb145e4c0f5101793f2de02d54a655614647cb468e3dad19d
Metadata
sha256:b919431fd796cbc5e27f145caf94cee49d2e569f00835127dd4d505e4e1831a1
Observation
sha256:9c8326e865b6017b103af7611c852a06776d81964979b8ab5a1b800cd550dff6
Content
sha256:0be01696ca905c6e48036b6cc3f152ccb500ae8b7f32299ada4a58900234eb91
Repository
sha256:a956b84c437202e5a02cc9e036a621bd14a302b34a75758115730bdbb77c52a4
Projection
sha256:a4a96441668a9f8b33afbcb3f696a2639f5fae145f36ddc063d7f67d5fb87ce8
Source commit
36c6d0fef71a3fec84d9dcd5eeca4e22e378f7cb

Exact Claim-to-Problem Bindings

Binding
sha256:2e6d6271238adef3181f2b11507b689584afe3a8702fedab18641381a3f44235
Native record
sha256:4f1ef6afcc93aa82200c38a08121a91cc48eb3471268be0ce01763f6ac7b384f
Content
sha256:5226f4a3b8646b6f528961676a4eae8f317edb0d85715a570066960fa27d5a49

Mapping: formal statement reference · translation unresolved · authority effect none

Binding
sha256:45dd0a817149f6cc9163ee20efe727c0dda9dbd52f23607da627e1c1b89aff4c
Native record
sha256:9b0decb420310e5bcc291b64418187e99ab5caba671fdd6859125f23c6c0db25
Content
sha256:1e284abe734d064e27cc0c68fac2cc656ba259aab340521ebf29438006326939

Mapping: formal statement reference · translation unresolved · authority effect none

Upstream sourceInspect recordsSource JSON