Dittert's Conjecture in Dimension 16
Prior state unknown→proved
Partial: this settles n=16 only. Combined with Pang's n>=17 the conjecture holds for all n>=16, leaving the small cases open.
SourceReplayReproducedFormal proofStatement auditExternal checkExpert reviewPeer review