Vela

frontiers / frontier

Erdős problems frontier

constellation seal · derived from vfr_37aec80d874a0239
id
vfr_37aec80d874a0239
license
CC-BY-4.0
findings
1,256
accepted core
6
contested
0
links
17
sources
1,234
evidence
1,256
avg conf
0.98

used by 0 · replayed by 2 producers

e1288/1288 · statement.registered · agent:claude-proxy · 2026-06-10 · null→null

Finding bundle

back to state

Erdős Problem #469 remains OPEN. Statement: Let $A$ be the set of all $n$ such that $n = d_1 + ⋯ + d_k$ with $d_i$ distinct proper divisors of $n$, but this is not true for any $m ∣ n$ with $m < n$. Does: $$ \sum_{n ∈ A} \frac 1 n $$ converge? Topics: number theory, divisors. Erdős prize: no. Statement is machine-verified in Lean (formal-conjectures). OEIS: A006036, A119425, possible.

id
vf_cd46c7499a157984
frontier
Erdős problems frontier
version
1
confidence
0.99

no incoming links yet

file

/frontier/erdos-problems/at/vev_23d5668e6ef963dbpermalink · after_hash f1159fe4de8d69a5…
vf_cd46c7499a157984 · erdos-problems · snapshot sha256:adf5cd08914be106b09be94cb69e55449b5195f7c3e9894fc07c7fc288c446c0 · https://vela-site-next.fly.dev/frontier/erdos-problems/at/vev_23d5668e6ef963dbcite
raw json · vf_cd46c7499a157984 (2.5 KB)
{
 "assertion": {
  "direction": null,
  "entities": [],
  "relation": null,
  "text": "Erdős Problem #469 remains OPEN. Statement: Let $A$ be the set of all $n$ such that $n = d_1 + ⋯ + d_k$ with $d_i$ distinct proper divisors of $n$, but this is not true for any $m ∣ n$ with $m < n$. Does: $$ \\sum_{n ∈ A} \\frac 1 n $$ converge? Topics: number theory, divisors. Erdős prize: no. Statement is machine-verified in Lean (formal-conjectures). OEIS: A006036, A119425, possible.",
  "type": "open_question"
 },
 "conditions": {
  "age_group": null,
  "cell_type": null,
  "clinical_trial": false,
  "concentration_range": null,
  "duration": null,
  "human_data": false,
  "in_vitro": false,
  "in_vivo": false,
  "species_unverified": [],
  "species_verified": [],
  "text": "Agent-imported candidate claim; scope requires review."
 },
 "confidence": {
  "basis": "agent-imported candidate claim; reviewer acceptance required",
  "extraction_confidence": 0.7,
  "kind": "frontier_epistemic",
  "method": "expert_judgment",
  "score": 0.99
 },
 "created": "2026-05-30T00:42:06.826507+00:00",
 "evidence": {
  "effect_size": null,
  "evidence_spans": [
   {
    "artifact_id": "va_9bc926d75e4e3881",
    "artifact_packet_id": "cap_61973ee16b553d57",
    "candidate_claim_id": "vc_4494e6d6980b9d1c"
   }
  ],
  "method": "ScienceClaw-shaped artifact packet import",
  "model_system": "agent artifact packet",
  "p_value": null,
  "replicated": false,
  "replication_count": null,
  "sample_size": null,
  "species": null,
  "type": "computational"
 },
 "flags": {
  "contested": false,
  "declining": false,
  "gap": false,
  "gravity_well": false,
  "negative_space": false,
  "retracted": false
 },
 "id": "vf_cd46c7499a157984",
 "links": [],
 "previous_version": null,
 "provenance": {
  "authors": [
   {
    "name": "Erdős Open-Problem spine ingest",
    "orcid": null
   }
  ],
  "citation_count": null,
  "doi": null,
  "extraction": {
   "extracted_at": "2026-05-30T00:42:06.826507+00:00",
   "extractor_version": "vela/0.691.0",
   "method": "artifact_to_state_import",
   "model": "agent:erdos-spine-ingest",
   "model_version": null
  },
  "journal": null,
  "openalex_id": null,
  "pmc": null,
  "pmid": null,
  "publisher": "artifact packet",
  "review": {
   "corrections": [],
   "reviewed": false,
   "reviewed_at": null,
   "reviewer": null
  },
  "source_type": "model_output",
  "title": "cap_61973ee16b553d57 · vc_4494e6d6980b9d1c",
  "url": "https://www.erdosproblems.com/469",
  "year": null
 },
 "updated": null,
 "version": 1
}

Unsealed — 0 attachment(s) on record, awaiting independent verification.

0 attachments · 0 distinct checker actors · 0 methods

blame · custody trail

produced byreviewer:erdos-db-trustreviewer:erdos-db-trustfinding.asserted · 2026-05-30vev_23d5668e6ef963db
checked byno verifier attachment on record
accepted byno accept signed

history · 1 event

record state

frontier-owned

Review status

claimed — no verifier run, no signed judgmentunreviewed

finding statement

finding type

open_question

No entity list is declared.

evidence

source-bound

1 atoms

computational · ScienceClaw-shaped artifact packet import · agent artifact packet

proof impact

packet context

1 events

3 reviewable changes and 0 evaluation records are attached to this finding id.

evidence

method

ScienceClaw-shaped artifact packet import

evidence type

computational

system

agent artifact packet

evidence spans

  • span recorded

conditions

species_unverified
species_verified
text
Agent-imported candidate claim; scope requires review.

provenance

source title

cap_61973ee16b553d57 · vc_4494e6d6980b9d1c

authors

Erdős Open-Problem spine ingest

Source records

1

Evidence atoms

1
  • vea_19f6dc3037233a30computational · supports

    {"artifact_id":"va_9bc926d75e4e3881","artifact_packet_id":"cap_61973ee16b553d57","candidate_claim_id":"vc_4494e6d6980b9d1c"}

    vs_c9681ed193cb2dc3 · span:0 · artifact_to_state_import

Typed links

0

outgoing

No outgoing links.

incoming

No incoming links.

Review, event, and evaluation records

4

events

  • vev_23d5668e6ef963dbfinding.asserted

    Candidate claim vc_4494e6d6980b9d1c imported from artifact packet cap_61973ee16b553d57

    reviewer:erdos-db-trustreviewer:erdos-db-trust · 2026-05-30

reviewable changes

  • vpr_06f23eb4d91932f0finding.note

    SEMANTIC-EDGE DRAFT -> Erdos #470 (vf_9d981d629f64c6b7) [related, confidence 0.78]: A weird number (the basis of 470's primitive weird numbers) is precisely an abundant number that is NOT a sum of distinct proper divisors, so 470's objects are exactly the n for which 469's predicate fails despite abundance. -- LLM-drafted (20-agent extraction, 2026-06); NOT adjudicated. Accept or reject via `vela proposals accept/reject` under reviewer authority.

    agent — machine actor, no signing keypending_review · agent:semantic-edge-extractor · 2026-06-10

  • vpr_79102ea86b9a0857finding.note

    SEMANTIC-EDGE DRAFT -> Erdos #859 (vf_bc60ced0147c0c61) [related, confidence 0.72]: Both concern representing a number as a sum of distinct divisors: 469 asks whether n is a sum of distinct proper divisors, while 859's DivisorSumSet is exactly the set of n for which a target t is a sum of distinct divisors of n. -- LLM-drafted (20-agent extraction, 2026-06); NOT adjudicated. Accept or reject via `vela proposals accept/reject` under reviewer authority.

    agent — machine actor, no signing keypending_review · agent:semantic-edge-extractor · 2026-06-10

  • vpr_dbf87d2f41467d69finding.add

    Candidate claim vc_4494e6d6980b9d1c imported from artifact packet cap_61973ee16b553d57

    agent — machine actor, no signing keyapplied · agent:erdos-spine-ingest · 2026-05-30

evaluations

No evaluation record targets this finding id.

statement.registered · agent:claude-proxy · 4 days

renders the record as of vev_e73c9b6c · 1,355 events · hub

Search Vela

Jump to a section, signal, campaign, document, primitive, work path, frontier, record index, atlas, constellation, agent, capability, or full-state search.