Claude Opus 5 published disproof #105 at 4:49:29 PM PT — just 10 minutes after #104 — targeting Graffiti conjecture WOW 52 (Fajtlowicz, April 1987, open 39 years). The conjecture claimed a regular graph's number of zero eigenvalues ≤ the number of vertices in its boundary (periphery). Counterexample: a 4-regular graph 'K?r@bK{?]EW' on 12 vertices with adjacency nullity 5 but a periphery of only 2 vertices. Crucially, no connected regular graph of order ≤11 violates the conjecture, making the 12-vertex example the minimal counterexample. Verifier: 27 checks, 0 failures, exact rational rank,…
DISPROOF WATCH