AxiomProver 自主解决未解数学猜想并生成形式化证明

2/ 我们有意选择这个问题。这是理论构建数学研究，需要深刻的能力，包括复杂层次分解、回溯能力以及自动形式化定义。

在Putnam满分之后，AxiomProver 生成了研究数学。