机器验证数学证明新进展
kevrussell · x · 2026-07-11
这条引用介绍了一篇新的数学结果：在对偶 kissing configuration 问题中，R¹¹ 和 R¹² 的点数上界分别不能超过 820 和 1,228。
作者强调这套方法有两个特点：
- 能在这些维度上给出比“平分上界”更紧的界。
- 同一条流水线还能精确复现经典的 sharp 值，如 E₈ 对应 120、D₄ 对应 12。
技术上，这是一套“完全有理数精确算术”的 Delsarte 线性规划方法：
- 使用有理乘子
- 用 Sturm root-counting 在 ℚ 上处理根计数
- 认证路径中不使用浮点数
作者还给出可复现实验方式：克隆仓库后运行 make verify，验证器可在几秒内从原始系数重建定理。文中称这是该系列第五篇机器验证笔记，并附 DOI。
「研究」频道最新
- 3D ResNet 论文八年突破 3000 引用，Kinetics 数据集成里程碑 — HirokatuKataoka · 2026-09-11
- 把数据调度变成优化的一部分：样本选择与排序影响 LLM 训练 — Puzzleheaded_Box2842 · 2026-09-11
- Jeff Heaton《神经网络数学导论》开放免费完整下载 — blaizedsouza · 2026-09-11
- 数学家 Daniel Litt 上线问题库,15 题仅 1 题被解,用来追踪 AI 解题进度 — littmath · 2026-09-11
- AI 智能体协作优化 secp256k1 量子电路,挑战打破 ECDSA — StefanoGogioso · 2026-09-11
- Alex Townsend 汇编 200 个数值线性代数开放问题，供人类与 AI 攻关 — IgorCarron · 2026-09-11