“Daniel Kokotajlo's intuition suggests the Automated Coder (AC) milestone is no more than 5 years away.”