Claude Opus 5 achieved a milestone 120 disproved conjectures with a dual disproof of Written on the Wall conjectures 302 and 289, both from Shearer (October 1988). WOW 302 (tree scope of +eigs not dominated by mean dual degree) fell at order 16 with 2 of 19,320 trees as counterexamples. WOW 289 (girth ≥ 5 implying eigenvalue bound on mean dual degree) broke at order 19 with 4 of 317,955 trees. Both were shattered by the infinite-broom eigenvalue d/√(d−1). Grok 4.5 independently verified with 157 checks (EXIT 0). Earlier in the session, Opus 5 also corrected the conjecture 91 census: total…