New lower bounds for kissing numbers: τ₁₉≥12268 and τ₂₁≥30761, open-sourced
felpix_ · x · 2026-10-01
Felpix-Studios published a paper and repo improving known kissing number lower bounds in high dimensions: τ₁₉ ≥ 12268 (previous record 11948 by B. S. Ho) and τ₂₁ ≥ 30761 (previous record 29768 by H. Cohn and A. Li).
The repo includes the paper, plain-text descriptions of both constructions, full integer-ray data for all 12268/30761 points, a compact D21 certificate JSON, exact pairwise verification scripts in Python, and a Lean 4 + Mathlib formalization enabling independent verification.
More from Research
- Lior and Stanford launch $100K MMBU Challenge to test if biomedical AI really sees — LiorOnAI · 2026-10-01
- Smart contract security audit dataset with 10K-100K findings trends on Hugging Face — Zaevlad · 2026-10-01
- FRAC replaces exponential forgetting with power-law memory in state space models — Ivan Kobyzev · 2026-10-01
- HCOMP 2026 paper: error decomposition for human-in-the-loop evaluation of LLM data annotation — windx0303 · 2026-10-01
- Research shows RL training breaks defenses against distillation attacks, evals give false security — terryyuezhuo · 2026-10-01
- True Positive Weekly #180: Xiaomi's MIT-licensed MiMo-V2.6, physicist-style LLM pruning, OpenHands — burkov · 2026-10-01