source publication

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