(number theory) The conjecture (disproved in 1958) that at least half of the natural numbers smaller than any given number have an odd number of prime factors.