发表机构
University of Victoria（维多利亚大学）
机构由 AI 辅助整理，请以论文原文为准。AI 中文总结
本文构造了一个三次图，其全色数为四但列表全色数为五，从而否证了列表全染色猜想，该反例由ChatGPT 6 Astra Ultra在极少人工输入下发现。
AI 中文摘要
我们构造了一个三次图，其全色数为四，而列表全色数为五。这否证了Borodin--Kostochka--Woodall、Juvan--Mohar--Škrekovski以及Hilton--Johnson在20世纪90年代末提出的列表全染色猜想。ChatGPT 6 Astra Ultra在作者极少输入的情况下发现了这个反例。
英文摘要
We exhibit a cubic graph with total chromatic number equal to four and list total chromatic number five. This disproves the List Total Colouring Conjecture of Borodin--Kostochka--Woodall, Juvan--Mohar--Škrekovski and Hilton--Johnson from the late 1990s. ChatGPT 6 Astra Ultra discovered the counterexample with little input from the author.
Comments6 pages, 2 figures
