Paterson

使用 LLM 辅助工具实现了超立方体切片的新上限

研究人员为超立方体切片建立了一个新的上限，改进了 1971 年的上限。该研究证明了 $S(n) \leq \lceil \frac{4n}{5} \rceil$ 个超平面足以切片一个 n 维超立方体的所有边，对于 n 是 5 的奇数倍的情况稍作调整。这项工作还为少于 n 个超平面可切片的边数提供了新的下限。通过 CPro1 辅助的构造实现了改进的上限，CPro1 是一个利用推理 LLM 和自动超参数调整来发现数学构造的工具。