lean artifact · passed
Artifact ↗Source authenticated
Upper Bounds for Binary and Spherical Codes
exponential improvement over the 1977 MRRW bounds; the exact rate-distance trade-off remains open
Exact FrontierDelta
proved→proved
Scope and record
Occurred: Oct 29, 2026
Delta type: REGISTRY REVISION
Assumptions: VibeMathed verification: lean-verified. Publication: announcement. AI contribution: ai-discovered. 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: Upper Bounds for Binary and Spherical Codes · Binary code bounds
Confidence: Not scored
Registry verification: lean verified · announcement · partial
Attribution
VibeMathed
registry · event recorded by
Astra (internal preview)
model · ai model contributor · OpenAI
Artifacts and verifiers
Compute record
No linked compute attempts recorded.
Lineage and corrections
Corrects Upper Bounds for Binary and Spherical Codes →
Supersedes Upper Bounds for Binary and Spherical Codes →
VibeMathed record: Upper Bounds for Binary and Spherical Codes evidence for this event
Lean certificate (MetricCodes.lean) evidence for this event
Quantum Parallel Repetition evidence for this event
exponential improvement over the 1977 MRRW bounds; the exact rate-distance trade-off remains open parent of this event
This event attributed to Astra (internal preview)
Upper Bounds for Binary and Spherical Codes parent of this event
Reasoning walkthroughs (PDF) evidence for this event
Manuscripts (ten-proofs paper, PDF) evidence for this event
Act on this frontier