本文综述自动求解数学问题的进展，聚焦几何题，涵盖语义鸿沟、形式语言与符号推理、神经网络与多模态融合、大规模数据集（Geometry3K、PGPS9K、GeoQA、UniGeo、Geo170K、FormalGeo7k）及求解器（Inter-GPS、PGPSNet、NGS、Geoformer、G-LLaVA、LANS、FGPS），并评估视觉语言模型的推理能力。