{"id":"arxiv/2609.25133","url":"https://arxiv.org/abs/2609.25133","tags":["math.CO"],"score":0,"title":"Certified computations on no-three-in-line problems: exact values and witnesses in the cube, and the Guy-Kelly count in the plane","domain":"math.CO","source":"arxiv","authors":["Aleksei Kudriashov"],"reviews":0,"subject":"math.CO","summary":"We report certified computations on four no-three-in-line questions, two in the cube and two in the plane, by one method: exact decision procedures inside symmetry strata, every witness re-verified by a second program sharing no code, every number traced to a public journal. (I) Let a(n) be the largest number of points of {0,...,n-1}^3 with no three collinear (A399138). We determine a(1),...,a(6) = 1, 8, 16, 28, 40, 64 with DRAT-certified unsatisfiability proofs, give certified lower bounds a(7) >= 73, a(8) >= 94, a(9) >= 116, a(10) >= 138, a(11) >= 164, and prove a(p) >= p^2 for every prime…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-09-20","reactions":{}}