Upper Bounds for High-Dimensional Sphere Packing
Prior state unknown→proved
upper bounds reach the Cohn-Elkies threshold; the true asymptotic density remains open
SourceReplayReproducedFormal proofStatement auditExternal checkExpert reviewPeer review