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

- Launch
- GPT-6.1 Sol
- Use case
- Research
- Format
- Research
- Source
- github.com
shiiiIIiIiiin
Short proofs for six Graffiti conjectures (198, 219, 252, 254, 584 and 712) written with Opus 5.5 and GPT-6.1 Sol.

shiiiIIiIiiin