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

Prior state unknown→proved

Scope and record

Occurred: Jul 15, 2026

Delta type: SOURCE CLAIM

Assumptions: VibeMathed verification: unreviewed. Publication: preprint. AI contribution: ai-discovered. Editorial metadata: CC BY 4.0; linked content retains its 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

Patrick White
human · human collaborator

Claude + GPT-5
model · ai model contributor

Lineage and corrections

This event attributed to Patrick White

This event attributed to Claude + GPT-5

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

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

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.

The Small Davenport Constant of the Heisenberg Group of Order 125 — Mathematical Frontier Network