Tightness of the Cohn-Elkies Bound in Dimension 36
Prior state unknown→disproved
rules out the two-point LP method in this dimension; the optimal packing in dimension 36 remains unknown
SourceReplayReproducedFormal proofStatement auditExternal checkExpert reviewPeer review