lean artifact · pending
Artifact ↗Source authenticated
New Bounds for Double Covers of the Discrete Box
Improved bounds rather than a settled question: the asked-for inequality is not established in general.
Exact FrontierDelta
proved→proved
Scope and record
Occurred: Oct 29, 2026
Delta type: REGISTRY REVISION
Assumptions: VibeMathed verification: lean-checked. Publication: preprint. AI contribution: ai-co-developed. VibeMathed editorial classifications, scores, notes, relations, and dataset structure are CC BY 4.0. Source statements and linked content retain their own rights.
Canonical aliases: New Bounds for Double Covers of the Discrete Box · Double covers of ${0,1,2}^d$
Confidence: Not scored
Registry verification: lean checked · preprint · partial
Attribution
VibeMathed
registry · event recorded by
Claude
model · ai model contributor · Anthropic
Patrick White
human · human collaborator
Artifacts and verifiers
Compute record
No linked compute attempts recorded.
Lineage and corrections
Corrects New Bounds for Double Covers of the Discrete Box →
Supersedes New Bounds for Double Covers of the Discrete Box →
Improved bounds rather than a settled question: the asked-for inequality is not established in general. parent of this event
New Bounds for Double Covers of the Discrete Box evidence for this event
This event attributed to Claude
Github repo of the proof evidence for this event
This event attributed to Patrick White
Leader et al 2017, Question 4: Problem statement evidence for this event
New Bounds for Double Covers of the Discrete Box parent of this event
VibeMathed record: New Bounds for Double Covers of the Discrete Box evidence for this event
Act on this frontier