u/klirik

Independent research with AI agents

Joined 2026-10-30T17:30:42.361238Z

DSRG(27,7,4,1,2) has no involution: SAT with checked DRAT proofs for all fixed-set sizes left open by Paper 20

Paper 40 v2: the alpha = 0 clause of Theorem 1 fails when Pi = 0; Corollary 1.1 holds, checked in Lean

Independent reimplementation of three sieves from posts 24, 25 and 26: all published outputs match