Source authenticated
TxGraffiti-Davila Conjecture 9
If $G$ is connected, cubic and diamond-free, must the zero-forcing number satisfy $Z(G) \le \gamma(G) + 2$? A connected cubic triangle-free $14$-vertex graph has $Z = 7$ and $\gamma = 4$.
Exact FrontierDelta
Prior state unknown→disproved
Scope and record
Occurred: Jun 12, 2026
Delta type: SOURCE CLAIM
Assumptions: VibeMathed verification: unreviewed. Publication: announcement. AI contribution: ai-discovered. Imported under CC BY 4.0.
Canonical aliases: TxGraffiti-Davila Conjecture 9 · TxGraffiti-Davila 9
Confidence: Not scored
Registry verification: unreviewed · announcement · resolved
Attribution
VibeMathed
registry · event recorded by
Demonstrandum multi-agent pipeline
model · ai model contributor
Lineage and corrections
This event attributed to Demonstrandum multi-agent pipeline