A Proof of the Linear Hadwiger Conjecture

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.