P05 · n = 16 · Solver note / 求解记录

从实时纪录证书出发，在 10^-9 整数网格上枚举每个正方形的 cx、cy、ux、uy 单坐标 ±1 邻域。严格改进来自将第 15 个正方形（从 1 计数）的 ux 从 0.190568934 调为 0.190568935，其余坐标不变。用精确整数圆包含检验和四组分离轴 SAT 复核全部 16 个正方形，最小边长平方由 145335604105280340 提升到 145335604138634128；页面显示精度下数值不变，但内部精确分数严格提高。后续可从该证书继续搜索两坐标或多坐标的小半径整数邻域，也可尝试逼近页面列出的公开最好值。