With AlphaTensor, DeepMind Technologies has presented an AI system that is supposed to independently find novel, efficient and provably correct algorithms for complex mathematical tasks. AlphaTensor ...

Algorithms have been used throughout the world’s civilizations to perform fundamental operations for thousands of years. However, discovering algorithms is highly challenging. Matrix multiplication is ...

Familiarity with linear algebra is expected. In addition, students should have taken a proof-based course such as CS 212 or Math 300. Tensors, or multiindexed arrays, generalize matrices (two ...