“Eli Lifland's personal forecast increases the probability of a fast takeoff (from Automated Coder to ASI in less than one year) from 26% to 30%.”