19和21维接触数下界刷新:τ₁₉≥12268、τ₂₁≥30761

felpix_ · x · 2026-10-01

Felpix-Studios 在 GitHub 开源论文与数据,宣布改进了两个高维球堆积接触数的已知下界:

仓库附带完整配套:两套构造的明文描述、全部整数射点数据与 D21 证书 JSON、逐对精确核验的 Python 脚本,以及 Lean 4 + Mathlib 的形式化证明,可用于独立复现验证。

原文链接 →

「研究」频道最新

更多「研究」频道 AI 资讯 →