革新定理证明：合成证明数据如何转变大型语言模型的能力快速阅读：https://www.marktechpost.com/2024/05/26/revolutionizing-theorem-proving-how-synthetic-proof-data-transforms-llm-capabilities/论文：https://arxiv.org/abs/2405.14333
