Coq存在，并且还有其他类似的项目。此外，强化学习在玩游戏领域（如 Deepmind 和 OpenAI 以及其他鲜为人知的努力）引起了轰动。

在我看来，这两个领域应该结合起来，以便机器学习代理尝试解决数学定理。有谁知道这方面的任何努力？

我在这两个领域都是相对新手，但我在这两个方面都足够精通，可以自己尝试构建基本定理求解器，并尝试让一个简单的代理尝试解决一些基本的数论问题。当我去寻找该地区的现有艺术时，我很惊讶地没有找到。我来这里是为了扩大我的搜索空间。