研究人员为超立方体切片建立了一个新的上限，改进了 1971 年的上限。该研究证明了 $S(n) \leq \lceil \frac{4n}{5} \rceil$ 个超平面足以切片一个 n 维超立方体的所有边，对于 n 是 5 的奇数倍的情况稍作调整。这项工作还为少于 n 个超平面可切片的边数提供了新的下限。通过 CPro1 辅助的构造实现了改进的上限，CPro1 是一个利用推理 LLM 和自动超参数调整来发现数学构造的工具。 AI
影响 证明了 LLM 驱动的工具在推进数学研究和发现方面的效用。
排序理由 在 arXiv 上发表的学术论文，详细介绍了新的数学证明和构造。[lever_c_demoted from research: ic=1 ai=0.7]
AI 生成摘要 · Google Gemini · 来自 1 个来源。 我们如何撰写摘要 →
