How AI Discovered a Faster Matrix Multiplication Algorithm