Graffiti Conjecture 143
For every connected graph, is the variance of its positive adjacency eigenvalues at most its order divided by its average distance? Exact dumbbell-graph certificates refute the bound under both conventions for average distance.
- Result
- Disproved
- Status
- Resolved
- AI contribution
- AI-discovered
- Method
- Construction
- Field
- Spectral graph theory
- Posed by
- Graffiti (Siemion Fajtlowicz's program)
- Year posed
- 1990
- Years open
- 36y
- Solved
- 2026-06-12
- Model
- Demonstrandum multi-agent pipeline
- Vendor
- —
- Collaborators
- —
- Verification
- Unreviewed
- Publication
- Announced
- Significance
- 5 / 100
- Disclosed cost
- —
- Wikipedia
- No dedicated article
What the AI did
Found by the Demonstrandum multi-agent pipeline; every refutation ships a finite certificate, a mutation-tested checker, and an independent clean-room recomputation.
Verification
Exact certificate verified by two independently written checkers; public artifacts repository. Not externally refereed.