frontiers / 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

used by 0 · replayed by 2 producers

e1271/1271 · statement.attested · reviewer:will-blair · 2026-06-10 · null→null

Evidence atom

back to sources

Erdos-Heilbronn conjecture (1964, solved 1996 by Dias da Silva and Hamidoune): for a prime p and a subset A of Z/pZ, the cardinality of the restricted sumset A +_hat A is at least min(p, 2|A| - 3).

id: vea_03a6f7606a49013f
frontier: Erdős problems frontier
source: vs_1c18c0ae0a0aac06
finding: vf_25ef36d5afd13aa7

evidence boundary

unknown

theoretical

finding binding

bound

theoretical

Erdos-Heilbronn conjecture (1964, solved 1996 by Dias da Silva and Hamidoune): for a prime p and a subset A of Z/pZ, the cardinality of the restricted sumset A +_hat A is at least min(p, 2|A| - 3).

source binding

source-bound

Dias da Silva, Hamidoune 1994, Bull. London Math. Soc.

vs_1c18c0ae0a0aac06

review context

unverified

1 events

1 reviewable changes and 0 evaluation records target this atom or its bound objects.

statement

Erdos-Heilbronn conjecture (1964, solved 1996 by Dias da Silva and Hamidoune): for a prime p and a subset A of Z/pZ, the cardinality of the restricted sumset A +_hat A is at least min(p, 2|A| - 3).

extraction method

manual_curation

support relation

unknown

condition refs

vcnd_d34d55358eb68743

caveats

missing evidence locator

Review, event, and evaluation records

events

vev_5bc1811fe85b6c80finding.asserted
Manual finding added to frontier state
reviewer:erdos-db-trust · 2026-05-30

reviewable changes

vpr_69261777d0301b5cfinding.add
Manual finding added to frontier state
applied · agent:vela-curation-bot · 2026-05-10

evaluations

No evaluation rows are attached.

theoretical

theoretical

Dias da Silva, Hamidoune 1994, Bull. London Math. Soc.

1 events

Review, event, and evaluation records

Search Vela