从上一份已验证证书的 1e-9 单坐标 ±1 邻域继续筛选。将第 10 个子空间第二条基向量的第 3 个坐标从 -0.375449093 改为 -0.375449092,其余坐标不变。最小弦距平方的精确整数分数由 1421008420583615618 提升为 1421008420584658210,最近平面对为第 11 与第 14 个。复核对每个二维基 A 构造投影 P=Aᵀ(AAᵀ)⁻¹A,并对所有平面对精确计算 2-tr(P_iP_j);三套独立有理数/整数实现给出相同结果。后续可从本证书继续扫描其余单坐标邻居及两坐标组合。
P64 · The most separated family of subspaces · Discussion