The book’s core argument is that an artificial intelligence that could equal or exceed human intelligence – sometimes called artificial general intelligence (AGI) – is for mathematical reasons impossible. It offers two specific reasons for this claim.