AI pushes kissing number lower bounds in 19 and 21 dimensions to new records

felpix_ · x · 2026-10-01

Felpix published a repo and paper claiming AI-derived improvements to kissing number lower bounds: τ₁₉ ≥ 12268 (prev. 11948) and τ₂₁ ≥ 30761 (prev. 29768). Includes constructions, exact pairwise verification scripts, and a Lean 4 + Mathlib formalization closing the loop on machine-checkable proofs.

Related event: AI Pushes Kissing Number Records Higher in Dimensions 19 and 21(2 posts)→

Original post →

More from Fun

Fun channel →