Ziegler's Cross-Polytope Conjecture (simplicial 0/1-polytopes)
Registry resolution: resolved. Reported result type: disproved. The registry record and named primary source provide the statement and scope.
Exact FrontierDelta
Scope and record
Occurred: Oct 29, 2026
Delta type: REGISTRY REVISION
Assumptions: VibeMathed verification: unreviewed. Publication: preprint. 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: 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
DeepSeek V4 Flash
model · ai model contributor · DeepSeek / Zhipu AI
GLM 5.2
model · ai model contributor · DeepSeek / Zhipu AI
Volker Kaibel
human · human collaborator
Sebastian Pokutta
human · human collaborator
Lineage and corrections
Corrects Ziegler's Cross-Polytope Conjecture (simplicial 0/1-polytopes) →
Supersedes Ziegler's Cross-Polytope Conjecture (simplicial 0/1-polytopes) →
This event attributed to Volker Kaibel
Registry resolution: resolved. Reported result type: disproved. The registry record and named primary source provide the statement and scope. parent of this event
This event attributed to GLM 5.2
Ziegler's Cross-Polytope Conjecture (simplicial 0/1-polytopes) parent of this event
VibeMathed record: Ziegler's Cross-Polytope Conjecture (simplicial 0/1-polytopes) evidence for this event
Ziegler's Cross-Polytope Conjecture (simplicial 0/1-polytopes) evidence for this event
This event attributed to DeepSeek V4 Flash
This event attributed to Sebastian Pokutta
Act on this frontier