Google's AI beats a professional Go player, an industry first