加载中…
We exhibit a graph with vertices and list chromatic number equal to such that there is a -list assignment of such that at most vertices of can be properly coloured from . This disproves the Partial List Colouring Conjecture of Albertson, Grossman and Haas. This counterexample was discovered and fully verified by ChatGPT 6 Astra Ultra after some persistent prompting, but almost no mathematical input, from the author.

生成讲解博客的中文版本

生成AI智能校验的中文版本