Pandey Parity Conjecture for Generalized Petersen Graphs
For every , is the independence polynomial of real-rooted if and only if is even? Exact Sturm counts refute both directions.
- Result
- Disproved
- Status
- Resolved
- AI contribution
- AI-discovered
- Method
- Construction
- Field
- Independence polynomials
- Posed by
- —
- Year posed
- 2026
- Years open
- 0y
- 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.