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. Imported under CC BY 4.0.
Canonical aliases: The Small Davenport Constant of the Heisenberg Group of Order 125 · Davenport, $H_{125}$
Confidence: Not scored
Registry verification: unreviewed · preprint · resolved
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