发表机构
McGill University; ETH Zürich（麦吉尔大学; 苏黎世联邦理工学院）
机构由 AI 辅助整理，请以论文原文为准。AI 中文总结
本文证明了存在常数C使得不含K_t子式的图可被Ct种颜色染色，该证明由GPT-6 Astra在作者指导下发现。
AI 中文摘要
我们证明了存在$C\in\mathbb{N}$，使得不含$K_t$作为子式的图是$Ct$-可染色的。该证明由GPT-6 Astra根据作者的指示发现。
英文摘要
We show that there exists $C\in\mathbb{N}$ such that $K_t$-minor free graphs are $Ct$-colorable. The proof was found by GPT-6 Astra, following the directions by the authors.
