World leaders are gathering at the U.K.'s AI Summit. Doom is on the agenda.