I'm curious why he is so bullish on AI. The page lists many traditional and actually useful tools like Coq, but much space is devoted to deep learning.

My experience with CoPilot shows that it fails at the most simple logical tasks:

When presented with an integer sequence it often does not even recognize the number of elements given. It just claims that we are looking for the 10th element when the current sequence only has three. Results are also wrong all the time.

Spatial reasoning of CoPilot is not very good. I wonder if early expert systems written in the Lisp era would outperform it.

It fails at tasks that require textual awareness like palindromes.

What it does very well is confabulating bland short stories and poems. It is great at understanding the input questions.

All in all, I am more impressed with Wolfram Alpha, which looks more like a traditional expert system.