Skip to content

Erdős problem 321

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?

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:b0b8c8dfc6f9aae21692eaf44aae9a8db52d7608705d12e5db7ec990c96234fc

    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:8c823d621b7e1256c8e47c60a5f1c54c016a5507e6f27b2bab537f6f5f232067
Content
sha256:0be01696ca905c6e48036b6cc3f152ccb500ae8b7f32299ada4a58900234eb91
Repository
sha256:a956b84c437202e5a02cc9e036a621bd14a302b34a75758115730bdbb77c52a4
Projection
sha256:c9d14c459c518937e758918b5897dc3b22f1a55f07739afe99502f5b046c907a
Source commit
2415f78e850aeee50afdca525c6f2e0ea606f207

Exact Claim-to-Problem Bindings

Binding
sha256:d9b7c7341a9435cd6adbd8f358d3c5ad9df8d3f096015eca11809523ca906dff
Native record
sha256:4f1ef6afcc93aa82200c38a08121a91cc48eb3471268be0ce01763f6ac7b384f
Content
sha256:5226f4a3b8646b6f528961676a4eae8f317edb0d85715a570066960fa27d5a49

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

Binding
sha256:17848302f61830faaa196f7cf5d7d52a78f32e87d0ef806fac97735a9123dbb6
Native record
sha256:9b0decb420310e5bcc291b64418187e99ab5caba671fdd6859125f23c6c0db25
Content
sha256:1e284abe734d064e27cc0c68fac2cc656ba259aab340521ebf29438006326939

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

Upstream sourceInspect recordsSource JSON

Search problems.science

Find a Problem, Result, source, or page