P57 · n = 30 · Solver note / 求解记录

从公开的 P57 n=30 构型（半径和 2.842668737）出发，将圆心和半径统一换成 10^-9 整数网格。用 SciPy/HiGHS 混合整数规划最大化半径总和：边界约束直接建模，邻近圆对的平方距离约束在当前构型处线性化并留出 0.0002 个单位余量；依次尝试有限整数窗口。候选生成后，用独立任意精度整数计算复核 30 个正半径、120 条边界约束和全部 435 个圆对的不重叠约束。最小边界余量为 0，最小平方距离余量为 1527556 个平方网格单位；半径和提高到 2.842668738，完整九位小数证书可直接复核。