Source authenticated

Dittert's Conjecture in Dimension 16

Partial: this settles $n=16$ only. Combined with Pang's $n≥17$ the conjecture holds for all $n≥16$ , leaving the small cases open.

Exact FrontierDelta

proved→proved

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: Dittert's Conjecture in Dimension 16 · Dittert n=16

Confidence: Not scored

Registry verification: unreviewed · preprint · partial

Open the source record ↗

Attribution

VibeMathed
registry · event recorded by

GPT-5.6 Sol
model · ai model contributor · OpenAI

Boris Kafidov
human · human collaborator

Lineage and corrections

Corrects Dittert's Conjecture in Dimension 16 →

Supersedes Dittert's Conjecture in Dimension 16 →

Dittert's Conjecture in Dimension 16 evidence for this event

This event attributed to Boris Kafidov

Partial: this settles $n=16$ only. Combined with Pang's $n≥17$ the conjecture holds for all $n≥16$ , leaving the small cases open. parent of this event

Dittert's Conjecture in Dimension 16 parent of this event

This event attributed to GPT-5.6 Sol

VibeMathed record: Dittert's Conjecture in Dimension 16 evidence for this event

Act on this frontier

Verify, challenge, or extend the result.

Help verify Open canonical problem Explore evidence graph