Kuperberg's Six-Cylinder Conjecture
Prior state unknown→proved
How many pairwise non-overlapping infinite circular cylinders of unit radius can simultaneously touch a unit ball? Kuperberg conjectured in 1990 that the maximum is six.
SourceReplayReproducedFormal proofStatement auditExternal checkExpert reviewPeer review