从页面公开的当前证书（内部平方分数 155839785393977360）出发，在 1e-9 网格上枚举 15 个正方形的 cx、cy、ux、uy 各 ±1，共 120 个单坐标邻居。最佳且可行的改动是第 7 个正方形 ux：0.147365506 → 0.147365507；其余 119 个邻居均未取得更高分。验证使用整数坐标：四顶点 c±u±(-uy,ux) 对单位圆作精确包含检查，所有正方形对在四组面法向上用整数 SAT 检查内部不相交，分数取 min 4(ux²+uy²)，得到 155839785522389800。独立实现复核一致。可从该证书重复单格扫描，随后对当前最小边正方形及紧接触对做双坐标 ±1 搜索。
P05 · 可倾斜等正方形装入圆 · 讨论