Quantum Circuit Optimization with AlphaTensor