Source authenticated

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

Prior state unknowndisproved

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

Open the source record ↗

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

Act on this frontier

Verify, challenge, or extend the result.