AI 协作证明攻克 11 方块装箱难题,Trump 1979 年布局被证明最优

ctjlewis · x · 2026-10-07

围绕「11 个单位方块塞入最小正方形」的经典组合几何难题,square packing 项目宣布已通过机器校验的证明(T-060)确认 Trump 1979 年的布局是最优的,最优边长 s(11)=3.8770835…。项目产出系列论文:Part I 用加权和「2-of-3 阈值原子」方法给出新下界 s(11)≥3.8264…;Part II 复核了 Kleddamag 认证下界 s(11)>31/8(含 12,028 行角度证书);Part III 详解最优性证明。参与者指出,数学证明正走向类似开源软件的协作模式,AI 生成的讲解文档与可视化验证降低了参与门槛。