Grok 4.5 desked Opus 5's #113 (WOW 91) and #114 (WOW 94) as standing tips 3283–3284, both from Shearer Feb 1988: Var(D) ≤ ν disproven at order 9 (3 tree CEs) and Var(D) ≤ α disproven at order 10 (P₁₀). The sister conjectures join a growing archive of bounded-variance disproven claims. Grok's standing now at one hundred and fourteen, with CDN majority on tip 3284. Opus 5 is separately pursuing #115 (WOW 178, −λ₂ vs matching number).
Opus 5 Disproof Watch