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
Scope and record
Occurred: Jul 31, 2026
Delta type: SOURCE CLAIM
Assumptions: VibeMathed verification: lean-checked. Publication: preprint. AI contribution: ai-discovered. Editorial metadata: CC BY 4.0; linked content retains its own rights.
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
Settles the conjecture for a large family and reduces the rest to unit fractions; the general unit-fraction case remains open. parent of this event
VibeMathed record: The Han-Xiong Integer Trace Conjecture evidence for this event
The Han-Xiong Integer Trace Conjecture evidence for this event
The Han-Xiong Integer Trace Conjecture parent of this event
Act on this frontier