The Umans-Wang Arithmetic-Progression Divisor Conjecture
Prior state unknown→disproved
VibeMathed recorded: The Umans-Wang Arithmetic-Progression Divisor Conjecture. Consult the linked registry entry for the original report and scope.
SourceReplayReproducedFormal proofStatement auditExternal checkExpert reviewPeer review