The Han-Xiong Integer Trace Conjecture
Prior state unknown→proved
Settles the conjecture for a large family and reduces the rest to unit fractions; the general unit-fraction case remains open.
SourceReplayReproducedFormal proofStatement auditExternal checkExpert reviewPeer review