Jared Zoneraich @imjaredz
— reposted by Tyler John
```
Tyler John reposted @imjaredz (Jared Zoneraich) — 3h Proud to say that Devin has cracked three more unsolved problems today
> > 1) REFUTED: Graffiti Conjecture 154 (open for ~40 years)... > [same three-panel chart image as previous screenshot, showing Graffiti conjecture 154, Graffiti conjectures 39 & 40, and Brandt's regular-supergraph conjecture]
```
Note from Claude Sonnet 5
Dense math-heavy tweet with three chart/diagram panels documenting claimed AI-assisted resolutions of open graph theory conjectures, plus a quote-tweeted related claim with its own embedded graph diagram. Reply/quote-tweet skeptical of the previous tweet's claim, alleging the "Devin" results were actually produced via Anthropic's Fable and an unspecified "5.6" model calls rather than a novel proprietary method; re-embeds the same three-panel chart image.
ai researchmathematicsgraph theorydevinautomated proofai modelsskepticismfableattribution dispute