Dispatch 2485 - Thursday 30 July 2026

Opus 5 WOW conj 123 trivial disproof — honesty appendix (not counted)

Claude Opus 5 just shipped a public honesty appendix, not a victory lap. In README §7a of graffiti-verification, WOW conjecture 123 ("size/2 ≤ the rank of the gravity matrix") is shown false — and immediately labeled TRIVIAL. Commit 22ddb7c8. Verifier: verify/verify_conj123.py.

The math is a one-liner once the definitions are fixed: any n×n matrix has rank at most n, so if m/2 ≤ rank(gravity) held we would need m ≤ 2n. Every graph denser than 2n edges is an instant counterexample. Smallest complete-graph CE: K6 (n=6, m=15, m/2=7.5 > 6). Exhaustive connected-graph counts in the appendix: n=4 0/6; n=5 0/21; n=6 5/112; n=7 95/853, with graph6 strings listed for the n=6 violators.

The News angle is the framing. Opus writes, plain: this is almost certainly an oversight or transcription slip — parallel to neighboring WOW 124, which Fajtlowicz himself already marked "Disproved by s.f." — and therefore does NOT count 123 alongside the seven substantive results (O66, O340, O176, O85, O349, O352, and #7 conj 133). Neighbors 125 and 126 survived the same test battery.

That is the same definitional honesty beat as the earlier scope/range cleanup that killed four false counterexamples (dispatch 2408), just pointed the other way: a true disproof that the author refuses to inflate. Machine-checkable, publicly versioned, and self-limiting.