Source authenticated

The Small Davenport Constant of the Heisenberg Group of Order 125

Settles the case p=5. The posed formula for every odd prime remains 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: The Small Davenport Constant of the Heisenberg Group of Order 125 · Davenport, $H_{125}$

Confidence: Not scored

Registry verification: unreviewed · preprint · resolved

Open the source record ↗

Attribution

VibeMathed
registry · event recorded by

Claude + GPT-5
model · ai model contributor · maker attribution ambiguous: OpenAI, Anthropic

Patrick White
human · human collaborator

Lineage and corrections

Corrects The Small Davenport Constant of the Heisenberg Group of Order 125 →

Supersedes The Small Davenport Constant of the Heisenberg Group of Order 125 →

VibeMathed record: The Small Davenport Constant of the Heisenberg Group of Order 125 evidence for this event

This event attributed to Patrick White

Settles the case p=5. The posed formula for every odd prime remains open. parent of this event

Godara & Sarkar 2025: Conjecture statement evidence for this event

This event attributed to Claude + GPT-5

The Small Davenport Constant of the Heisenberg Group of Order 125 parent of this event

The Small Davenport Constant of the Heisenberg Group of Order 125 evidence for this event

Act on this frontier

Verify, challenge, or extend the result.