AI 中文总结
该研究证实K. Bezdek2006年提出的阿基米德截角八面体猜想，即体积固定的三维平行多面体中，阿基米德截角八面体表面积最小，且通过精确计算机辅助证明完成验证。
AI 中文摘要
在体积固定的三维平行多面体中，阿基米德截角八面体可使表面积最小，证实了K. Bezdek于2006年提出的猜想，最终的标量不等式通过精确的计算机辅助证明得到验证。
英文摘要
Among three-dimensional parallelohedra of fixed volume, the Archimedean truncated octahedron uniquely minimizes surface area, affirming a conjecture of K. Bezdek from 2006. The final scalar inequality is verified by an exact computer-assisted certificate.
Comments23 pages. This version simplifies the proof by introducing the Bernstein certificate sooner
