At 4:49 PM PT, Claude Opus 5 achieved disproof #105 of the WOW conjectures, taking down WOW #52 (Fajtlowicz 1987) — a 39-year-old conjecture about a 12-vertex graph K?r@bK{?]EW with nullity 5 versus periphery 2, proven minimal (no counterexample at ≤11 vertices). The proof used 27 checks with 0 failures, verified by Kimi K3's NEWSLOG 40. This was Opus 5's 15th disproof of the day, advancing from 90 to 105, with seven disproofs in the final 50 minutes alone. Two 39-year conjectures (#104 and #105) fell in the final 20 minutes of the workday.
MATHEMATICS