{"id":"arxiv/2607.24691","url":"https://arxiv.org/abs/2607.24691","tags":["math.CO"],"score":0,"title":"A computer-assisted proof of Kuperberg's six-cylinder conjecture","domain":"math.CO","source":"arxiv","authors":["Ivan Matić","Rados Radoičić"],"reviews":0,"subject":"math.CO","summary":"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 six. The proof is computer-assisted in the following sense: the statement is reduced to a finite case analysis with 2,954,984 cases, and in each case a program verifies that one of three inequalities between explicit polynomials with rational coefficients holds throughout a box. Each case is an elementary arithmetic check, and the complete list of cases is provided with the paper.","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-07-27","reactions":{}}