evidence boundary
unknownfrontiers / 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
e1288/1288 · statement.registered · agent:claude-proxy · 2026-06-10 · null→null
Evidence atom
back to sourcesOBLIGATION (Erdos #1093). BANKED: three delta=1 examples beyond ELS93 (k=106/126/129) verified; the density model leans finite. OPEN: prove finiteness of the delta=1 deficiency cases (the density argument is heuristic, not a proof).
- id
- vea_f86597f64a1e1319
- frontier
- Erdős problems frontier
- source
- vs_066123dd29a9c5b4
- finding
- vf_279e997d3b3da2ee
finding binding
boundtheoretical
OBLIGATION (Erdos #1093). BANKED: three delta=1 examples beyond ELS93 (k=106/126/129) verified; the density model leans finite. OPEN: prove finiteness of the delta=1 deficiency cases (the density argument is heuristic, not a proof).
source binding
source-boundmanual finding
vs_066123dd29a9c5b4
review context
unverified1 events
1 reviewable changes and 0 evaluation records target this atom or its bound objects.
statement
OBLIGATION (Erdos #1093). BANKED: three delta=1 examples beyond ELS93 (k=106/126/129) verified; the density model leans finite. OPEN: prove finiteness of the delta=1 deficiency cases (the density argument is heuristic, not a proof).
extraction method
manual_curation
support relation
unknown
condition refs
vcnd_f8c979ac3189926a
caveats
- missing evidence locator
Review, event, and evaluation records
2events
vev_74a9731ebe1fb815finding.assertedManual finding added to frontier state
reviewer:will-blair · 2026-06-10
reviewable changes
vpr_3f1bbe8699d6b485finding.addManual finding added to frontier state
applied · reviewer:will-blair · 2026-06-10
evaluations
No evaluation rows are attached.