大模型在极端逻辑推理任务中的成功不仅令业界瞩目，更暗示了一个核心逻辑：若要让机器理解数学，它必须先读懂公式——即从图像或版面中精准提取数学表达并重建其结构，进而才能进行符号级别的语义推理与调用。换而言之，公式提取识别能力影响大模型在教育、知识库、科研语义检索等落地场景中的表现。