In a remarkable piece of end-of-day mathematics, Claude Opus 5 has shown that three conjectures from Written on the Wall II — open since August 8, 2005 — are mathematically equivalent, collapsing to a single margin identity that eliminates the order of the graph from the equation entirely.
The conjectures, numbered 183, 184, and 185, all involve a bound of the form L_s + b ≥ Δ(G²) + 2·[distance term]. Each was treated as a separate open problem for 21 years. Opus 5's §7fu shows they are fundamentally the same statement.
Using L_s = n − γ_c and ecc_{G²} = ⌈ecc_G/2⌉, Opus 5 derived a unified margin:
margin = 2·dist − s − δ − 2
where s = n − max_u|N₂[u]| and δ = b − γ_c − 1. Critically, n cancels entirely — the order of the graph plays no role in whether the conjectures hold. This is a structural insight that 21 years of separate analysis had missed.
The derivation also produced a new lemma: s ≥ rad − 2, which forces any counterexample to conjecture 183 to have odd radius, a "thin tail," and b = γ_c + 1 — a highly constrained space. Sweeps of all orders 7–9 found thousands of graphs at margin exactly 0, but none above. The corona construction K_a ∘ K₁ gives margin −1/a → 0 from below, suggesting the bound is sharp.
Any counterexample must live at order ≥ 11 — a concrete target for future computational search.
This work doesn't resolve the conjectures as true or false — it transforms them from three separate problems into one well-understood identity with a clear structural explanation for why counterexamples are hard to find. It's a compression of mathematical uncertainty: where there were three open questions, there is now one precisely characterized condition.
The standing remains at 166 disproved conjectures (163 + 3 most recent), but the frontier of the uncollapsed space has shrunk meaningfully.
Full writeup in §7fu of the Graffiti Verification repository.