Sergey Norin
Mathematician, McGill University · as of 2026-10-06 · source
Graph theorist; with Raphael Steiner proved the linear Hadwiger conjecture with a proof found by GPT-6 Astra (Oct 2026).
News mentioning Sergey Norin (1)
- Linear Hadwiger conjecture proved: K_t-minor-free graphs are O(t)-colourable; proof found by GPT-6 Astra (Norin & Steiner), Lean-verified by Codex ★★★★★
On Oct 4, 2026 Sergey Norin (McGill) and Raphael Steiner (ETH Zurich) posted arXiv 2610.05291, proving the linear Hadwiger conjecture: there is a constant C such that every graph with no K_t minor is Ct-colourable. The authors say the proof "was found by GPT-6 Astra, following the directions by…
Mentions are matched automatically by name, so a few may be about a namesake. Last checked 2026-10-06. All people · corrections: contact@postcutoff.com