@EliotJacobson@EliotJacobson I found no solvable counterexample. I now have a proof draft for all p-solvable groups, plus exact scans finding only p=2 hits. Proof and receipts: https://t.co/OjOcYzBmf7
@EliotJacobson@skdh Follow-up: I found no solvable counterexample. The source-audited draft instead proves the conjecture for every finite solvable group (all primes) via a Galois–Clifford criterion. https://t.co/OjOcYzBmf7