Why is there no AlphaZero for theorem proving?

It seems an obvious thing to try; therefore, it has been tried.

Impressive results are publicized; therefore it wasn't impressive.