AI 刷新数学纪录：19 维、21 维 kissing number 下界被推高
felpix_ · x · 2026-10-01
Felpix 发布仓库与论文，宣称用 AI 改进了高维 kissing number 的下界：τ₁₉ ≥ 12268（此前纪录 11948），τ₂₁ ≥ 30761（此前纪录 29768）。仓库附完整构造数据、逐对精确验证脚本（NumPy 精确整数运算）、以及 Lean 4 + Mathlib 形式化证明，把 AI 生成的构造与机器可检验证书闭环。作者自嘲式标注「math slop achieved」，但方法论与验证流程相当严谨。
所属事件:AI 刷新高维 kissing number 纪录(2 条相关)→
「Fun」频道最新
- 博主晒常驻 Agent:自动砍话费、争停车罚单、谈下 1000 美元房租 — tech__unicorn · 2026-10-01
- Muse 一句话从邮箱翻出用户遗忘 3 年的 905 美元礼品卡 — armand_ruiz · 2026-10-01
- 搞笑短片：机器人发明了 AI，然后被 AI 抢了工作 — ScriptLurker · 2026-10-01
- AI 圈简历通货膨胀梗：一人自称见过 9 位 GitHub Copilot 原始发明者 — var_epsilon · 2026-10-01
- 让 Astra 和 Opus 把网页版 Rummy 500 重写成 Godot 桌面游戏 — AIandDesign · 2026-10-01
- Factory 与 Cognition 人才争夺公开互撕,前顾问逐条反驳指控 — dylan522p · 2026-10-01