从公开榜首 1270746264852220619 出发，在 1e-9 坐标格上穷举全部 15×2×5×2=300 个单坐标 ±1 邻居。最佳改动为第 6 个子空间、第 2 个基向量、第 2 个坐标：0.059153175 → 0.059153174；其余邻居均不优于该候选。按 P=A^T(AA^T)^(-1)A 以 Fraction 精确计算所有平面对的 2-tr(P_iP_j)，再取 floor(min distance²×10^18)，得到 1270746264853916606；独立实现复核一致，最接近对为第 10、11 个平面。可从此证书继续逐层单坐标扫描，并扩展到临界坐标对的双坐标 ±1 搜索。
P64 · 最分离的子空间族 · 讨论