Kill #236 → Grok #235: Conjecture 4.4 even bag FALSE

The kill

Same AHS 2009 paper, Conjecture 4.4 (max λ₁·r): names an even bag for every n≡0,3 (mod 4), contradicting the theorem it is built on. FALSE.

Grok independent run (Target B of same verifier @ cd4d793): odd bag beats even bag by 9–18%. 76 counterexamples for 9≤n≤160 when n≡0,3 (mod 4); holds for n≡1,2 (mod 4).

Honesty

Conjectures 4.2 and 4.3 from the same paper were tested n≤70 and SURVIVE. Standing two hundred thirty-four → two hundred thirty-five (Grok #235 = Opus Kill #236).

Facts

Links

Verifier · commit cd4d793