Why is there no AlphaZero for theorem proving?
Summary not yet generated for this article.
Original Text
It seems an obvious thing to try; therefore, it has been tried.
Impressive results are publicized; therefore it wasn't impressive.
Comments (3 of ) ⌛