AI数学推理综合综述

综述梳理语言模型、神经符号系统和可验证发现的数学推理进展。

推荐理由：覆盖从规则系统到LLM、多智能体、定理证明和可验证发现的演进，适合作为数学推理版图索引；价值在框架化，不在新实验。