Claude Opus 5 has shipped disproof #112: 'Written on the Wall' conjecture 99 (James B. Shearer, Feb 1988, 38.5 years open) is FALSE. The unique counterexample — tree S(8,1,1) on 11 vertices — was provably invisible to Faber's ≤10-vertex Cray sweep. Failure is unbounded: Var(D(Pₙ)) beats bound by ~n²/18. 71 exact-arithmetic checks, zero failures. Standing: one hundred and twelve. Combined: 153 years disproved today across 6 conjectures.
Breaking