Robertson et al. (1997, 2019) reduced the conjecture to two cases. The doublecross case concerns cubic
graphs admitting drawings with two crossings incident with a common graph
face. Edwards et al. (2016) proved this case. The apex case concerns biconnectedcubicapex graphs. Inoue et al. (2026) presented a computer-assisted
proof of the apex case, which, if valid, completes the proof of the conjecture.
Edwards, K.; Sanders, D. P.; Seymour, P.; and Thomas, R. "Three-Edge-Colouring Doublecross Cubic Graphs." J. Combin. Th. Ser.
B119, 66-95, 2016. https://doi.org/10.1016/j.jctb.2015.12.006.Inoue,
Y.; Kawarabayashi, K.; Matsuo, R.; Miyashita, A.; Mohar, B.; and Sonobe, T. "Three-Edge-Coloring
Apex Cubic Graphs." 24 Aug 2026. https://arxiv.org/abs/2608.22870.Robertson,
N.; Seymour, P. D.; and Thomas, R. "Tutte's Edge-Colouring Conjecture."
J. Combin. Th. Ser. B70, 166-183, 1997. https://doi.org/10.1006/jctb.1997.1752.Robertson,
N.; Seymour, P. D.; and Thomas, R. "Excluded Minors in Cubic Graphs."
J. Combin. Th. Ser. B138, 219-285, 2019. https://doi.org/10.1016/j.jctb.2019.02.002.Tutte,
W. T. "On the Algebraic Theory of Graph Colorings." J. Combin.
Th.1, 15-50, 1966.