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 #44 remains OPEN. Statement: **Erdős Problem 44:** Let N ≥ 1 and `A ⊆ {1,…,N}` be a Sidon set. Is it true that, for any ε > 0, there exist M = M(ε) and `B ⊆ {N+1,…,M}` such that `A ∪ B ⊆ {1,…,M}` is a Sidon set of size at least `(1−ε)M^{1/2}`? This problem asks whether any Sidon set can be extended to achieve a density arbitrarily close to the optimal density for Sidon sets. Topics: number theory, sidon sets, additive combinatorics. Erdős prize: no. Statement is machine-verified in Lean (formal-conjectures). OEIS: N/A.

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

no incoming links yet

file

/frontier/erdos-problems/at/vev_9a5efe8213cf9bbcpermalink · after_hash f4248ea9e18be913…
vf_a357c9d8ac3d6b26 · erdos-problems · snapshot sha256:adf5cd08914be106b09be94cb69e55449b5195f7c3e9894fc07c7fc288c446c0 · https://vela-site-next.fly.dev/frontier/erdos-problems/at/vev_9a5efe8213cf9bbccite
raw json · vf_a357c9d8ac3d6b26 (2.7 KB)
{
 "assertion": {
  "direction": null,
  "entities": [],
  "relation": null,
  "text": "Erdős Problem #44 remains OPEN. Statement: **Erdős Problem 44:** Let N ≥ 1 and `A ⊆ {1,…,N}` be a Sidon set. Is it true that, for any ε > 0, there exist M = M(ε) and `B ⊆ {N+1,…,M}` such that `A ∪ B ⊆ {1,…,M}` is a Sidon set of size at least `(1−ε)M^{1/2}`? This problem asks whether any Sidon set can be extended to achieve a density arbitrarily close to the optimal density for Sidon sets. Topics: number theory, sidon sets, additive combinatorics. Erdős prize: no. Statement is machine-verified in Lean (formal-conjectures). OEIS: N/A.",
  "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_207ca3dcc13de126"
   }
  ],
  "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_a357c9d8ac3d6b26",
 "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_207ca3dcc13de126",
  "url": "https://www.erdosproblems.com/44",
  "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_4d27429cd049bd2b
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_207ca3dcc13de126

authors

Erdős Open-Problem spine ingest

Source records

1

Evidence atoms

1
  • vea_c66e10132f67164fcomputational · supports

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

    vs_2c3437c98e238aa9 · 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_4d27429cd049bd2bfinding.asserted

    Candidate claim vc_207ca3dcc13de126 imported from artifact packet cap_61973ee16b553d57

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

reviewable changes

  • vpr_49aaf57d6dd0a317finding.add

    Candidate claim vc_207ca3dcc13de126 imported from artifact packet cap_61973ee16b553d57

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

  • vpr_a336726922e97c6ffinding.note

    SEMANTIC-EDGE DRAFT -> Erdos #30 (vf_04c2ff267458866e) [specializes, confidence 0.85]: Problem 44 asserts the explicit upper bound (max Sidon set in {1,...,N} is at most 2√N), which is a specific quantitative bound on exactly the function h(N) that Problem 30 studies. -- 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_ec6741d1fdc57665finding.note

    SEMANTIC-EDGE DRAFT -> Erdos #155 (vf_55921775986ed4e2) [related, confidence 0.8]: Both concern the maximum size of a Sidon subset of {1,...,N} (44 states the ≤2√N bound, 155 names this maximum F(N)), so 44 is a bound on 155's quantity. -- 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

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.