#正方形装箱

11 个正方形怎么摆最省：一份能被机器复查的证明

一份 Lean 4 仓库宣称完成了 11 个单位正方形最优装箱的无条件证明，边长约 3.87708。读完能看清它证了什么、信任边界在哪，以及怎么自己跑一遍验证。