Why is there no AlphaZero for theorem proving?

By hyperpallium2 · 2026-10-16 · 3 points · 2 comments

It seems an obvious thing to try; therefore, it has been tried. Impressive results are publicized; therefore it wasn't impressive.