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)→
More from Fun
- His always-on agent cut his rent by $1000 and fights bills without him knowing — tech__unicorn · 2026-10-01
- Muse digs a forgotten $905 Apple gift card out of a 3-year-old inbox — armand_ruiz · 2026-10-01
- Robots Invent AI — and Lose Their Jobs to It — ScriptLurker · 2026-10-01
- Silicon Valley title inflation meme: one person claims to have met 9 original GitHub Copilot inventors — var_epsilon · 2026-10-01
- Vibe-coded with Astra and Opus: web Rummy 500 game rebuilt in Godot for desktop — AIandDesign · 2026-10-01
- Factory vs Cognition: ex-advisor publicly rebuts 'snake' accusations in AI talent spat — dylan522p · 2026-10-01