What was already known
Godara and Sarkar proved the p=3 value six and conjectured 3p−3 for odd primes. The p=5 case was open; the ordered invariant has a different value.
AI involvement
White assigns the principal research role to AI systems under his direction. Claude developed framing and verification code; GPT-5.5 supplied the corrected reduction.
The attribution note explicitly assigns the principal research role and the retained upper-bound reduction to AI systems under human direction; it does not establish AI-autonomous operation.
Importance
Would settle the first open case of the Heisenberg small Davenport-constant conjecture.
Limitations
The exact finite searches check the p=5 spread condition, while no completed check of the full reduction is documented. The result does not cover p≥7 or the ordered constant.
Technical verification
The released repository provides C and Python exhaustive spread checks and auxiliary finite checks. No complete check of the handwritten reduction is documented, so the universal claim remains Partial.
Human understanding
The mathematical explanation and write-up are credited to Claude; no named human explains the central spread-bound mechanism. Few is the evidence default.
Correction and publication history
Would settle the first open case of the Heisenberg small Davenport-constant conjecture.
Read this published revision