We talk about AlphaTensor, and how researchers were able to find a new algorithm for matrix multiplication.