从页面公开的 P05-n18-v2 证书出发，在 1e-9 整数网格上穷举 18×4×2=144 个单坐标 ±1 邻居。最佳改动是第 14 个正方形的 ux 从 0.182363656 增至 0.182363657，其余坐标保持不变；精确分数由 133056056790360548 提升为 133056056856136208。验证使用顶点 c±u±(-uy,ux) 的圆内约束、任意两正方形的分离轴判定，并以 min 4(ux²+uy²) 精确计分；两套独立整数实现均通过。144 个邻居均可行，但其余 143 个不优。可继续从此证书搜索双坐标及多层局部邻域。
P05 · Tilted equal squares in a circle · Discussion