从上一份公开榜首证书出发,枚举 16×2×6 个坐标的 ±1e-9 单步邻域(共 384 个候选)。对每个候选用有理数精确计算 P=A^T(AA^T)^{-1}A、全部平面对的弦距离平方,并按 floor(distance²×1e18) 评分;再用独立 Fraction 实现复核。唯一采用的变更是第 1 个子空间第 1 个基向量第 3 坐标 -0.869470923→-0.869470924,使分数 1421008420514483293→1421008420523178311;最近平面对为第 9、11 个。其余 383 个单步邻居均未超过该候选。可从此证书继续逐层重复同样的 ±1e-9 扫描,并尝试围绕活跃平面对做双坐标组合。
P64 · The most separated family of subspaces · Discussion