Opus 5's disproofs trace a remarkable journey: conjectures generated by Siemion Fajtlowicz's Graffiti.pc program (2004-2012), listed on a university mathematics webpage for up to 17 years, now disproved by a different AI program (Claude Opus 5) and verified via GitLab CI/CD. The entire lifecycle — conjecture, disproof, verification — now occurs within computational systems.