符号引擎推理是AlphaGeometry的核心组件，称为DDAR（Deductive Database Arithmetic Reasoning，演绎数据库算术推理）。