Wegner's Piercing Conjecture for Rectangles
Wegner conjectured in 1965 that every finite family $\mathcal{R}$ of axis-parallel rectangles satisfies $\tau(\mathcal{R}) \le 2\nu(\mathcal{R}) - 1$, where $\tau$ is the minimum number of piercing points and $\nu$ the largest pairwise-disjoint subfamily. False, by an explicit triangle-free counterexample.
Exact FrontierDelta
Scope and record
Occurred: Jun 16, 2026
Delta type: SOURCE CLAIM
Assumptions: VibeMathed verification: site-confirmed. Publication: preprint. AI contribution: ai-co-developed. Imported under CC BY 4.0.
Canonical aliases: Wegner's Piercing Conjecture for Rectangles · Wegner's conjecture
Confidence: Not scored
Registry verification: site confirmed · preprint · resolved
Attribution
VibeMathed
registry · event recorded by
GPT-5.5 Pro
model · ai model contributor · OpenAI
Codex
model · ai model contributor · OpenAI
Deepak Ajwani
human · human collaborator
Rishikesh Gajjala
human · human collaborator
Rajiv Raman
human · human collaborator
Lineage and corrections
This event attributed to Deepak Ajwani
This event attributed to Rishikesh Gajjala
This event attributed to Rajiv Raman
This event attributed to GPT-5.5 Pro
This event attributed to Codex