Ziegler's Cross-Polytope Conjecture (simplicial 0/1-polytopes)
Ziegler proved every simplicial $d$-dimensional 0/1-polytope has at most $2d$ vertices, and asked whether attaining $2d$ vertices forces central symmetry (i.e. a 0/1 cross-polytope). Known true for $d \le 6$; open since ~2000.
Exact FrontierDelta
Scope and record
Occurred: Jun 30, 2026
Delta type: SOURCE CLAIM
Assumptions: VibeMathed verification: unreviewed. Publication: preprint. AI contribution: ai-discovered. Imported under CC BY 4.0.
Canonical aliases: Ziegler's Cross-Polytope Conjecture (simplicial 0/1-polytopes) · Ziegler cross-polytope
Confidence: Not scored
Registry verification: unreviewed · preprint · resolved
Attribution
VibeMathed
registry · event recorded by
Volker Kaibel
human · human collaborator
Sebastian Pokutta
human · human collaborator
DeepSeek V4 Flash
model · ai model contributor · DeepSeek / Zhipu AI
GLM 5.2
model · ai model contributor · DeepSeek / Zhipu AI
Lineage and corrections
This event attributed to Sebastian Pokutta
This event attributed to Volker Kaibel
This event attributed to GLM 5.2
This event attributed to DeepSeek V4 Flash