Source authenticated

Hadwiger's Conjecture

Theorem 1.1: there are arbitrarily large mm and mm-vertex graphs with α(G)≤2\alpha(G)\le2 and connected-matching number below m/100m/100. With the counting bound h(G)≤(∣V(G)∣+4 cm(G)+2)/3h(G)\le(|V(G)|+4\,\mathrm{cm}(G)+2)/3, Corollary 1.2 gives h(G)<26m/75+2/3<m/2≤χf(G)≤χ(G)h(G)<26m/75+2/3<m/2\le\chi_f(G)\le\chi(G). So Hadwiger's conjecture fails, already in the case α≤2\alpha\le2 and even for fractional colouring, with χ/h\chi/h above about 1.441.44 in the limit. The graphs are complements of a triangle-free hole relation built from tensor frames over F2\mathbb F_2, so α≤2\alpha\le2; the four-hole conflicts that kill large connected matchings are forced by a distribution theorem and a container argument. It does not say anything about small tt, and it does not refute linear bounds χ≤C h\chi\le C\,h, which the companion list-colouring paper proves.

Exact FrontierDelta

Prior state unknown→disproved

Scope and record

Occurred: Sep 23, 2026

Delta type: SOURCE CLAIM

Assumptions: VibeMathed verification: lean-checked. Publication: announcement. AI contribution: ai-discovered. VibeMathed editorial classifications, scores, notes, relations, and dataset structure are CC BY 4.0. Source statements and linked content retain their own rights.

Canonical aliases: Hadwiger's Conjecture

Confidence: Not scored

Registry verification: lean checked · announcement · candidate

Open the source record ↗

Attribution

VibeMathed
registry · event recorded by

Unreleased internal OpenAI model
model · ai model contributor · OpenAI

Artifacts and verifiers

Lean statement (supporting): HadwigerCounterexample - Theorem 1.1 only, not the 4t-1 form

lean artifact · pending

Artifact ↗

Compute record

No linked compute attempts recorded.

Lineage and corrections

A linear list-coloring bound in terms of the Hadwiger number evidence for this event

This event attributed to Unreleased internal OpenAI model

Lean statement (supporting): HadwigerCounterexample - Theorem 1.1 only, not the 4t-1 form evidence for this event

A counterexample to the Colin de Verdiere chromatic conjecture evidence for this event

Hadwiger 1943 (Vierteljahrsschrift NGZH 88) evidence for this event

Hadwiger's Conjecture parent of this event

The Furedi-Gyarfas-Simonyi Sharp Connected-Matching Conjecture evidence for this event

Theorem 1.1: there are arbitrarily large mm and mm-vertex graphs with α(G)≤2\alpha(G)\le2 and connected-matching number below m/100m/100. With the counting bound h(G)≤(∣V(G)∣+4 cm(G)+2)/3h(G)\le(|V(G)|+4\,\mathrm{cm}(G)+2)/3, Corollary 1.2 gives h(G)<26m/75+2/3<m/2≤χf(G)≤χ(G)h(G)<26m/75+2/3<m/2\le\chi_f(G)\le\chi(G). So Hadwiger's conjecture fails, already in the case α≤2\alpha\le2 and even for fractional colouring, with χ/h\chi/h above about 1.441.44 in the limit. The graphs are complements of a triangle-free hole relation built from tensor frames over F2\mathbb F_2, so α≤2\alpha\le2; the four-hole conflicts that kill large connected matchings are forced by a distribution theorem and a container argument. It does not say anything about small tt, and it does not refute linear bounds χ≤C h\chi\le C\,h, which the companion list-colouring paper proves. parent of this event

VibeMathed record: Hadwiger's Conjecture evidence for this event

Act on this frontier

Verify, challenge, or extend the result.