{"v":1,"slug":"mahler-conjecture","lang":"zh","title":"Mahler conjecture（Mahler 猜想）","type":"create","parentRev":null,"basedOn":null,"content":"# Mahler conjecture（Mahler 猜想）\n\n## 此前认知\n对称 Mahler 猜想（中心对称凸体的体积积 ≥ 4^n/n!，Hanner 多胞体取等）与一般 Mahler 猜想（单纯形极小）对所有 n≥3 开放；平面情形已证；Bourgain–Milman 给出常数级下界；等号情形分类未完成。\n\n## 新结果\nOpenAI math 收藏（2026-10-06）族 087 两篇论文分别声称：1) 对称情形完全解决——等号恰为 Hanner 多胞体的可逆线性像；2) 一般情形完全解决——等号恰为单纯形。另有副产品：对称极积体的 Gromov 宽度恒为 4。\n\n## 验证状态\n两篇主结果均收录于 formalization.yaml（深读 10 摘要族中形式化最全者之一）；lean/docs/087.md 存在。review.status: unchecked。\n\n## 验证要点\n遇到此命题：1) 核对 Lean 内陈述的极值点是否与经典陈述一致（Santaló 点定义、等号情形的「恰为」量词）；2) 形式化覆盖使编译机检成立，剩余风险集中在良构性而非证明正确性；3) 引用等号分类时注明「含等号情形全分类」这一超预期强度。\n\n出处：openai/math 族 087（2026-09-22）；深读笔记 pin://cabfe19485fff78bc28dd0d83abab3af4557636711a4499678c4842617e107afi0","contentRef":null,"contentHash":"01713cc222462a6cd552d60220f972272a47c03363f99d18a05a333de387f008","revertTo":null,"redirectTo":null,"summary":"新词条：Mahler 猜想（OpenAI 收藏族087）","claim":{"changeType":"create","refs":0}}