shiiiIIiIiiin@shiiiIIiIiiin · Oct 7Short proofs for six Graffiti conjectures (198, 219, 252, 254, 584 and 712) written with Opus 5.5 and GPT-6.1 Sol.
