A computer-assisted proof of Kuperberg's six-cylinder conjecture

Ivan Matić, Rados Radoičić

We prove that at most six pairwise non-overlapping infinite unit cylinders can simultaneously touch a unit ball. Six is achievable, so the answer to Kuperberg's question is exactly…