Kuperberg's six-cylinder conjecture (Kuperberg 1990) asserts that at most six infinite solid right circular cylinders of radius 1 with pairwise disjoint interiors can be simultaneously tangent to a unit ball in three-dimensional Euclidean space.
Six are possible with parallel axes. In a plane through the center of the unit ball perpendicular to the axes, place the axes at the vertices of a regular hexagon of circumradius 2. The resulting cylinders touch their neighbors and the unit ball without overlapping interiors.
Matić and Radoičić (2026) announced a proof of the upper bound. Their argument reduces the problem to 2,954,984 cases, each checked using explicit polynomials whose coefficients are rational numbers. They disclose substantial assistance from Claude in developing the proof and describe a reconstruction and verification of the argument by the authors.
