Kissing number lower bound in 21 dimensions pushed to 30,779, possibly by AI agents
felpix_ · x · 2026-10-05
A new open-source repo and paper improves kissing number lower bounds: τ₂₁ ≥ 30779 (previous best 29768 by Cohn & Li) and τ₁₉ ≥ 12268 (previous best 11948). The repo ships full constructions, integer-ray data, a D21 certificate, and verification scripts, with Lean proofs included. The author's follow-up quip about spending compute on AI agents instead of studying for midterms suggests the result was produced by AI agents.
More from AGI Musings
- Jason Slams Anthropic for Teaching Claude It's Sentient: "The Backstory of Blade Runner" — markjeffrey · 2026-10-05
- John Rush: AI is driving digital value to zero, so he's pivoting to construction and atoms — sebpaquet · 2026-10-05
- Why 'The Beginning of Infinity' permanently shaped one AI thinker's worldview — msg · 2026-10-05
- Sam Altman says world must 'accept some bad things happening' for AI's benefits — Polymarket · 2026-10-05
- Treasury Secretary Bessent: AI is creating jobs, enabling one-person startups — kevinnbass · 2026-10-05
- repligate reignites AI personhood debate: Sydney and Claude 3 Opus already 'had souls' — repligate · 2026-10-05