Why is there no AlphaZero for theorem proving?

  • Posted 58 minutes ago by hyperpallium2
  • 3 points
It seems an obvious thing to try; therefore, it has been tried.

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

1 comments

    Loading..