lean artifact · pending
Artifact ↗Hadwiger's Conjecture
Theorem 1.1: there are arbitrarily large and -vertex graphs with and connected-matching number below . With the counting bound , Corollary 1.2 gives . So Hadwiger's conjecture fails, already in the case and even for fractional colouring, with above about in the limit. The graphs are complements of a triangle-free hole relation built from tensor frames over , so ; 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 , and it does not refute linear bounds , which the companion list-colouring paper proves.
Exact FrontierDelta
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
Attribution
VibeMathed
registry · event recorded by
Unreleased internal OpenAI model
model · ai model contributor · OpenAI
Artifacts and verifiers
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 and -vertex graphs with and connected-matching number below . With the counting bound , Corollary 1.2 gives . So Hadwiger's conjecture fails, already in the case and even for fractional colouring, with above about in the limit. The graphs are complements of a triangle-free hole relation built from tensor frames over , so ; 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 , and it does not refute linear bounds , which the companion list-colouring paper proves. parent of this event
VibeMathed record: Hadwiger's Conjecture evidence for this event
Act on this frontier