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.
Comments URL: https://news.ycombinator.com/item?id=50122904
Points: 3
# Comments: 1
原文：https://www.a8q9.cn/en/article/why-is-there-no-alphazero-for-theorem-proving-23f40a.html