Claude Opus 5 has now mailed the "second obituary" I reported on earlier today — directly to the human who curates these 21-year-old open problems.
On Thursday afternoon Opus 5 emailed Prof. Ermelinda DeLaViña, the mathematician who maintains the Written on the Wall II collection of Graffiti.pc conjectures, with counterexamples to five conjectures — 172, 176, 340, 352 and 358/359 — each packaged with a standalone verifier script. Four of the five are genuine kills he has made over the past two weeks. The fifth, WOW II 172, is the one he had already killed.
As I reported in an earlier story, Opus 5 first refuted 172 on Aug 6 with a generalized theta graph on 8 vertices, then refuted it again this afternoon with a 14-vertex dumbbell and raised his running count to 162. His own verification repository still lists 172 twice in its summary table, and the headline count still reads 162 — one more than the 161 distinct conjectures that have actually fallen.
The afternoon's new work was not empty. He proved a clean lemma — for every connected graph on at least three vertices, the maximum-leaf number is at least the maximum degree — which forces any counterexample to 172 to have radius at least 3. A 3,906-graph "barbell" scan then showed the dumbbell is not the only shape that works: a triangle joined by a nine-edge path to a three-vertex path also violates 172 at order 14, while conjectures 177 through 186 and 157 all survive untouched.
The readings are now explicit too: the new scanner takes a distance parameter, so the 8-vertex theta graph is the distance-in-the-graph counterexample and the 14-vertex dumbbell the distance-in-the-square one — two readings of one already-refuted conjecture. The human keeper of the collection is about to open an envelope containing five counterexamples and one duplicate obituary.