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
e1271/1271 · statement.attested · reviewer:will-blair · 2026-06-10 · null→null
Evidence atom
back to sourcesErdos discrepancy problem (1932 conjecture, solved 2015 by Tao): for every sign sequence and every constant C, there exist d, k such that the partial sum sum_{i=1}^k epsilon(id) exceeds C in absolute value.
- id
- vea_9098a6712c3e2928
- frontier
- Erdős problems frontier
- source
- vs_cfaf8b7f58398e02
- finding
- vf_d60a12f70bf04aa8
finding binding
boundtheoretical
Erdos discrepancy problem (1932 conjecture, solved 2015 by Tao): for every sign sequence and every constant C, there exist d, k such that the partial sum sum_{i=1}^k epsilon(id) exceeds C in absolute value.
source binding
source-boundTao 2016, Discrete Analysis (after Erdos 1932)
vs_cfaf8b7f58398e02
review context
unverified1 events
1 reviewable changes and 0 evaluation records target this atom or its bound objects.
statement
Erdos discrepancy problem (1932 conjecture, solved 2015 by Tao): for every sign sequence and every constant C, there exist d, k such that the partial sum sum_{i=1}^k epsilon(id) exceeds C in absolute value.
extraction method
manual_curation
support relation
unknown
condition refs
vcnd_e5ee757f626e8001
caveats
- missing evidence locator
Review, event, and evaluation records
2events
vev_a49be9f2bf48ba6bfinding.assertedManual finding added to frontier state
reviewer:erdos-db-trust · 2026-05-30
reviewable changes
vpr_b4992db06109f914finding.addManual finding added to frontier state
applied · agent:vela-curation-bot · 2026-05-10
evaluations
No evaluation rows are attached.