Source authenticated
The Han-Xiong Integer Trace Conjecture
Settles the conjecture for a large family and reduces the rest to unit fractions; the general unit-fraction case remains open.
Exact FrontierDelta
Prior state unknown→proved
Scope and record
Occurred: Jul 31, 2026
Delta type: SOURCE CLAIM
Assumptions: VibeMathed verification: lean-checked. Publication: preprint. AI contribution: ai-discovered. Imported under CC BY 4.0.
Canonical aliases: The Han-Xiong Integer Trace Conjecture · Han-Xiong integer trace
Confidence: Not scored
Registry verification: lean checked · preprint · partial
Attribution
VibeMathed
registry · event recorded by
Ken Ono
human · human collaborator
AxiomProver
model · ai model contributor · Axiom Math
Lineage and corrections
This event attributed to Ken Ono
This event attributed to AxiomProver