How DeepMind's AlphaTensor AI Devised a Faster Matrix Multiplication