Combinatorics · Aug 8, 2026
Petersen coloring conjecture
A 112-vertex counterexample is reported.
Scope and what remains
The conjecture's implications to other covering assertions are one-way: its disproof does not disprove those assertions. Preserve the exact certificate checker and graph encoding.
Contributors
Bryce Putman authored arXiv:2608.10012; allocate AI search and certificate roles from the primary disclosure, rather than the discovery registry alone.