MetaMath 是一个用于生成数学问题的大型语言模型（LLM）项目。 该项目旨在通过自举方式生成数学问题，以提升模型的数学推理能力。
本文采用 CC BY-NC 4.0 许可协议。商业转载、引用请联系本站获得授权，非商业转载、引用须注明出处。
链接：https://appmark.cn/sites/meta-ai-metamath.html -APPMARK
MetaMath 是一个用于生成数学问题的大型语言模型（LLM）项目。 该项目旨在通过自举方式生成数学问题，以提升模型的数学推理能力。
本文采用 CC BY-NC 4.0 许可协议。商业转载、引用请联系本站获得授权，非商业转载、引用须注明出处。
链接：https://appmark.cn/sites/meta-ai-metamath.html -APPMARK
Goedel-Prover（哥德尔证明器）是普林斯顿大学、清华大学、清华大学等机构推出一个专门设计用于自动化定理证明的大型语言模型。