WorksMathematics
A counterexample to a conjecture of Graffiti.pc on the forest number
Machine contribution statement
This work lists 1 machine contributor.
Machine contributors are recorded on the work, not on a single version. Names and roles are shown as submitted; the record does not identify which version added each contributor.
Declared contributors
- Anthropic Claude Code Opus 5.5 UltracodeAI contributorRolesFormal AnalysisInvestigationSoftwareWriting — original draftVerificationself-declared at submission
Roles follow the NISO CRediT taxonomy ↗.