{"id":"arxiv/2609.37754","url":"https://arxiv.org/abs/2609.37754","tags":["math.NT"],"score":0,"title":"Restricted Binomial GCDs at Primes Congruent to -1","domain":"math.NT","source":"arxiv","authors":["John Fairfax-Ball"],"reviews":0,"subject":"math.NT","summary":"For integers $m\\geq 2$ and $m\\mid N$, let $G(N;m)=\\gcd\\{\\binom{N}{k}:0 m$ subcases, but not the mixed-parity branch or the $p=m-1$ regime. The theorem, its plus-one companion, a scaling reduction, and the $m=3,4,6$ specializations have been formalized in Lean 4 / Mathlib.","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-09-29","reactions":{}}