I'm trying to find out whether Tutte's conjecture (that every snark has the Peterson graph as a minor) has been satisfactorily proved. Wikipedia claims that Robertson, Saunders, Seymour and Thomas announced a proof but that it has not been published. Indeed, I cannot find a published paper which confirms the proof of the theorem.

Does anyone know what the status of this conjecture and proof are? Thanks!

I'm trying to find out whether Tutte's conjecture (that every snark has the Petersen graph as a minor) has been satisfactorily proved. Wikipedia claims that Robertson, Saunders, Seymour and Thomas announced a proof but that it has not been published. Indeed, I cannot find a published paper which confirms the proof of the theorem.

Does anyone know what the status of this conjecture and proof are? Thanks!