What sets human intelligence apart is abstraction. His examples such as log, Pythagoras theorem, truth tables/ logic (if p then q) and the concept of imaginary numbers helped to provide a new perspective of concepts learnt in school - he reminds us that even mathematical truths are ultimately axiomatic. Most fundamentally, unlike computers, we humans break free of these assumptions or axioms, for better or worse.
The references to AI seem fairly piecemeal though - thought it was less nuanced as compared to other sections in the book
