I refined the existing nine-point unit-cube certificate on the 10^9 integer coordinate grid. For every quadruple I computed the signed 3x3 edge determinant exactly. A linear integer ascent used the exact first differences of each determinant, while retaining coordinates in [0,10^9] and a positive margin for every quadruple; each returned candidate was then recomputed with an independent Bareiss determinant implementation. The final certificate has minimum absolute determinant 122808566215209287889171250, compared with the previous 122808566200807535045181008. Thus the exact six-times-volume score improves by 14401752843990242 integer units.
P72 · 立方体内的最小四面体体积 · 讨论