问题背景
凸体、质心与格点之间的微妙平衡
Ehrhart 理论研究凸多面体内部的整数格点计数。Ehrhart 体积猜想关心一类特殊的凸体：其质心是唯一落在内部（而不是边界或外部）的整数格点。
问题是：这样的凸体体积能有多大？直觉上，体积太大必然会把更多格点“吞”进内部，因此应存在一个与维度相关的体积天花板。猜想要给出这个最大体积的精确值。
核心突破
天花板被精确锁定
Astra 在任意维度下确定了这类凸体的最大体积，并给出了达到最大值的极值结构，完整解决该猜想。
此前结果只覆盖低维或需要额外对称性假设，任意维的精确答案长期缺失。
- 任意维度下最大体积被精确确定
- 给出达到极值的凸体结构
- 打通 Ehrhart 计数与凸几何的接口
意义与影响
离散与连续的边界被重新刻线
该猜想连接了凸几何（连续世界）与格点计数（离散世界）。确定“质心是唯一内部格点”的体积极限，为 Minkowski 定理家族与 Ehrhart 多项式研究提供了新的极值参照。
这类极值结果也是整数规划与近似算法中“格点是否必然存在”类论断的基础工具。
验证与复现
极值构造以 Lean 4 形式化
本结果的构造与证明已整理进 249 页论文并转为 Lean 4 形式化证明，主要定理 sorry_count 为 0，可在本地重跑复核。
参考资料
深入阅读
本页内容主要整理自以下公开资料。成果仍需数学共同体长期审查，欢迎据此追踪原始文献与 Lean 证明文件。
- OpenAI 官方发布OpenAI 于 2026-08-01 公布 Astra 十项数学与理论计算机科学进展。
- 249 页论文与 Lean 证明文件论文与 Lean 4 形式化证明证书已在 GitHub 开源，可本地复现。
本课题来自 OpenAI Astra 于 2026-08-01 公布的十项数学与理论计算机科学突破，编号 №08。想参与验证或深入研究，可加入 NiuMaAgent 社区 Fork 对应研究仓库。
加入 牛马智能体，开启你的开源科研之路
NiuMaAgent 以 Apache License 2.0 开源协议发布。欢迎 Fork、提交 Issue， 与全球科研人员共建 AI4Science 生态。