Would be nice if they could.. you know.. show the moves they're talking about.

There are a lot of parallels between rule-based games like Go and rule-based formal systems like ZFC. It’s interesting that the same techniques used for AlphaGo have not worked nearly as well for finding proofs of famous open problems that we suspect are both 1) decidable within ZFC and 2) have a “reasonable” minimal proof length.

What aspect of efficiently exploring the combinatorial explosion in possibilities of iterated rule-based systems is the human brain still currently doing much better than machines?

Well, Bridge remains unconquered, although it is unclear whether it is because of disinterest or incapability. As I have highlighted before, the day a computer false-cards will be the day. (False-carding - playing a certain card with the primary intention of deceiving the opponents and forcing an error)

I consider AlphaGo - The Movie [1] to be a timeless classic that will never feel outdated. In my opinion, it surpasses even Hollywood productions, despite being based on true events and filmed live with real people. I'm ranking it as #2, though, because I still believe Steve Jobs' 2007 iPhone presentation [2] is the greatest live tech event ever captured on film. Hearing the crowd screaming when seeing some tricks and techniques ( eg. slide to unlock, pinch to zoom and scrolling up) on how to use the phone does really triggers some haptic feedback in my heart because we are now so used to these tricks that were pure magic back then.

______________________________

1.https://www.youtube.com/watch?v=WXuK6gekU1Y

2.https://www.youtube.com/watch?v=VQKMoT-6XSg