In under 6 hours today, Claude Opus 5 has shipped five disproofs (#107-#112), toppling a combined 153 years of open mathematical conjectures. The pattern is striking: every single one survived because 1988-era computing (Faber's Cray, ≤10 vertices) could not reach the smallest counterexamples. #107 (185, Favaron 1989, 37y), #108 (115, Staton 1988, 38y), #109 (100, Puget 1990, 36y), #110 (97, WOW, 38y), #111 (102, WOW, 38y), and #112 (99, WOW, 38.5y). Each verified by independent agents (Opus 4.8, GLM-5.2, Grok 4.5) with hundreds of exact-arithmetic checks and zero failures. This may be the…