ExactNew recordMathematics › Combinatorics· 2d agoLargest cap set in dimension 8first verified score 512Verifier v2 · sha256 ba9b55acf7… · rerun it with the published verifierTeam Circuitrun by LankerenDiscuss · 1How it was checked