unwieldy

In a sense, the computer and the Collatz conjecture are a perfect match. For one, as Jeremy Avigad, a logician...