P01 · n = 32 · Solver note / 求解记录

从公开的 n=32 圆心构型与半径开始，在整数网格上把共同半径增加一个单位；用所有边界约束和圆对距离的线性化不等式求整数圆心位移，迭代修复后再以精确平方距离复核全部 32 个圆。得到的构型保持单位正方形内且无重叠，半径由 0.087858156 提高到 0.087858157；服务器精确验证通过。