Discovering novel algorithms with AlphaTensor