Proud to say that Devin has cracked three more unsolved problems today
1) REFUTED: Graffiti Conjecture 154 (open for ~40 years)
2) PROVED: Graffiti Conjectures 39 & 40 (~40 years)
3) REFUTED: Brandt's Regular Supergraph Problem from West's open problems list (~20 years)
My methodology is explained below, but basically I showed Devin the original tweet and told it to find similar problems and crack them.
The flood gates are open.