Source authenticated

Conjecture on $k$-Antichains in the Unit Cube

A subset $A$ of the pointwise-ordered cube $[0,1]^n$ is a $k$-antichain when it meets every chain in at most $k$ points. The conjecture concerns the largest possible $(n-1)$-dimensional Hausdorff measure of such a set; it is settled here, following work of Janzer.

Exact FrontierDelta

Prior state unknownproved

Scope and record

Occurred: Jun 26, 2026

Delta type: SOURCE CLAIM

Assumptions: VibeMathed verification: unreviewed. Publication: preprint. AI contribution: ai-co-developed. Imported under CC BY 4.0.

Canonical aliases: Conjecture on $k$-Antichains in the Unit Cube · k-antichains

Confidence: Not scored

Registry verification: unreviewed · preprint · resolved

Open the source record ↗

Attribution

VibeMathed
registry · event recorded by

John M. Campbell
human · human collaborator

GPT-5.5 Pro
model · ai model contributor · OpenAI

Lineage and corrections

This event attributed to John M. Campbell

This event attributed to GPT-5.5 Pro

Act on this frontier

Verify, challenge, or extend the result.