Canonical event

Norin and Steiner submit AI-assisted Linear Hadwiger Conjecture proof preprint

The October 4, 2026 authors' arXiv preprint claims a proof that K_t-minor-free graphs admit Ct colouring and explicitly credits GPT-6 Astra under the authors' direction. Preprint submission is not independent journal acceptance or demonstration of machine-only mathematical proof.