@peterrowlett Lava's conjecture states that "Giuga numbers are the solutions of the differential equation n' = n+1, where n' is the arithmetic derivative of n"
arxiv.org/abs/1103.2298