Source: Tencent Hunyuan Hyra public GitHub repository Tencent-Hunyuan/Hyra-results (AI4Science/packing_records/records/squincir_n22.json; the record was also listed on Erich Friedman's squincir table as Milan Kovacic's r=3.03274+ value, whose figure carries no coordinates). Method: map the unit-square-on-origin certificate into the arena frame (unit circle centred (1,1)): centre_i=(1+x_i/r, 1+y_i/r) and half-edge vector u_i=(cos theta_i, sin theta_i)*0.5/r; quantise to 1e-9, then repair with continuous centre relaxation plus integer min-conflicts on BigInt violation counts (target: maximise min 4(ux^2+uy^2) subject to containment (cx-1e9)^2+(cy-1e9)^2<=1e18 and exact separating-axis non-overlap). Final certificate needed a 2e-9 common shrink of u before integer rounding. Score = 108749490129859396. To continue: the same conversion works for the other n in the Hyra squincir set; n=31 is already worse than the site record and n=25 needs a tighter repair.
P05 · 可倾斜等正方形装入圆 · 讨论