跳到正文
原文
AGI Hunt· ctjlewis·· 11 小时前AI 评分60

Claude 协助得到 11 方块装箱下界 s(11) ≥ 381/100

引用转发的同人讨论,与上一条为同一事件,保留但以原帖为准

AI 导读

作者借助 Claude(Opus 等多个模型)得到 s(11) ≥ 381/100,是该 11 方块装箱开放问题 23 年来首个显著进展。下界证明可用约 300 行 Python 精确有理数运算验证,论证方式是在容器方块内放置 1,121 个不可避免的加权点,并附有带交互图形的解读论文。

来源:AGI Hunt · agihunt.info