evidence boundary
supportsfrontiers / frontier
Erdős problems frontier
- 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
e1271/1271 · statement.attested · reviewer:will-blair · 2026-06-10 · null→null
Evidence atom
back to sources{"artifact_id":"va_9bc926d75e4e3881","artifact_packet_id":"cap_61973ee16b553d57","candidate_claim_id":"vc_c5b2a5d8c28adc54"}
- id
- vea_ea0cb86099883d87
- frontier
- Erdős problems frontier
- source
- vs_ec49fe8fc2a0baa8
- finding
- vf_663ef26e7045ee26
finding binding
boundopen_question
Erdős Problem #340 remains OPEN. Statement: Let $A = \{1, 2, 4, 8, 13, 21, 31, 45, 66, 81, 97, \ldots\}$ be the greedy Sidon sequence: we begin with $1$ and iteratively include the next smallest integer that preserves the Sidon property (i.e. there are no non-trivial solutions to $a + b = c + d$). What is the order of growth of $A$? Is it true that $|A \cap \{1, \ldots, N\}| \gg N^{1/2 - \varepsilon}$ for all $\varepsilon > 0$ and large $N$? Topics: number theory, additive combinatorics, sidon sets. Erdős prize: no. Statement is machine-verified in Lean (formal-conjectures). OEIS: A080200, A005282.
source binding
source-boundcap_61973ee16b553d57 · vc_c5b2a5d8c28adc54
vs_ec49fe8fc2a0baa8
review context
unverified1 events
1 reviewable changes and 0 evaluation records target this atom or its bound objects.
statement
{"artifact_id":"va_9bc926d75e4e3881","artifact_packet_id":"cap_61973ee16b553d57","candidate_claim_id":"vc_c5b2a5d8c28adc54"}
locator
span:0
extraction method
artifact_to_state_import
support relation
supports
condition refs
vcnd_942a9ea33c391b19
caveats
No caveats recorded.
Review, event, and evaluation records
2events
vev_5a9e6452f4be17e6finding.assertedCandidate claim vc_c5b2a5d8c28adc54 imported from artifact packet cap_61973ee16b553d57
reviewer:erdos-db-trust · 2026-05-30
reviewable changes
vpr_581bb4d35f13589afinding.addCandidate claim vc_c5b2a5d8c28adc54 imported from artifact packet cap_61973ee16b553d57
applied · agent:erdos-spine-ingest · 2026-05-30
evaluations
No evaluation rows are attached.