Viliam comments on Did Bengio and Tegmark lose a debate about AI x-risk against LeCun and Mitchell?