本文综述几何自动推理领域进展，涵盖GeoGebra Discovery新增ShowProof命令（输出证明步骤与难度评分）、统一基准UniGeo及Geoformer模型、GeoTutor辅导系统、Inter-GPS求解器、FormalGeo形式系统与FGPS、GeoQA数据集、视觉语言模型几何推理评估以及ADG 2023会议。