Daniel Kokotajlo answers What’s a good probability distribution family (e.g. “log-normal”) to use for AGI timelines?